International Training School on Reversible Computation

by Ivan Lanese, May 15, 2017

INTERNATIONAL TRAINING SCHOOL ON REVERSIBLE COMPUTATION

TORUN, POLAND

28th AUGUST - 31st AUGUST 2017

http://revcomp.eu/school2017.php

Organized by COST Action IC1405:
Reversible Computation - Extending Horizons of Computing

Grants covering travel and accommodation expenses are available.

Important dates
---------------

Trainee grants application deadline: 26th May

Trainee grants notification: 12nd June

Registration deadline: 1st August

Training school: 28th August - 31st August

INTERNATIONAL TRAINING SCHOOL ON REVERSIBLE COMPUTATION

TORUN, POLAND

28th AUGUST - 31st AUGUST 2017

http://revcomp.eu/school2017.php

Organized by COST Action IC1405:
Reversible Computation - Extending Horizons of Computing
----------------------------------------------------------------------

Reversible computation is an emerging paradigm that extends the standard forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as naturally as it can go forwards. It aims to deliver novel computing devices and software, and to enhance traditional systems by equipping them with
reversibility. The potential benefits include the design of
revolutionary reversible logic gates and circuits - leading to
low-power computing and innovative hardware for green ICT, and new conceptual frameworks, language abstractions and software tools for reliable and recovery oriented distributed systems. Further application areas include quantum computing, debugging, simulation, biological modeling, robotics, and others.

The training school mainly targets PhD students and early-career researchers interested in reversible computation, but other potential participants (e.g., from industry, or more senior researchers) can register free of charge and attend as well.

The training school will be followed by a two-days meeting of the COST Action IC1405. Participants of the training school from countries participating in the action (see the list at
http://www.cost.eu/COST_Actions/ict/IC1405?parties) are welcome to attend the meeting as well, but may need to cover the expenses for attending from their own funds. Please contact Irek Ulidowski (iu3@leicester.ac.uk) if interested.

Lecturers and Provisional Topics
--------------------------------

Foundations of Reversibility in Finite-State Devices
Martin Kutrib (University of Giessen, Germany)

Reversibility for Concurrent Interacting Systems
Ivan Lanese (University of Bologna/INRIA, Italy)

Reversible Cellular Automata
Jarkko Kari (University of Turku, Finland)

Equivalences and Logics for Reversible Processes
Iain Phillips (Imperial College London, UK)

Reversible Computing from a Programming Language Perspective
Robert Glueck (University of Copenhagen, Denmark)

Reversible Functional Programming in RFun
Michael Kirkedal Thomsen (University of Copenhagen, Denmark)

Incremental State Saving for Optimistic Parallel Discrete Event Simulation
Markus Schordan (Lawrence Livermore National Laboratory, US)

Reversible Debugging in Concurrent Distributed Systems
Claudio Antares Mezzina (IMT Lucca, Italy)

Introduction to Reversible Logic Synthesis
Robert Wille (Johannes Kepler University Linz, Austria)

Introduction to RevKit
Mathias Soeken (EPFL, Switzerland)

Hierarchical Reversible Synthesis
Mathias Soeken (EPFL, Switzerland)

Cycle-based Synthesis and Exact Synthesis
Pawel Kerntopf (Warsaw University of Technology, Poland)

Reversible Logic Synthesis in RevKit
Mathias Soeken (EPFL, Switzerland)

Application of Synthesis Approaches
Robert Wille (Johannes Kepler University Linz, Austria)

Application of Reversible Logic Synthesis to Quantum Computing
Nader Khammassi (TU Delft/QuTech, Netherlands)

Full and updated information is available at
http://revcomp.eu/school2017-courses.php

Registration and accommodation
------------------------------

All attendants need to register by August 1st at
http://revcomp.eu/school2017.php

Participation to the training school is free, and includes lunches.

The organisers have arranged possible accommodation starting from 30 Eur/day for a single room and 33 Eur/day for a twin room.

Information on travel and accomodation is available at:
http://revcomp.eu/school2017.php

Trainee Grants
--------------

Up to fifty participants from COST countries (list available at
http://www.cost.eu/about_cost/cost_countries) can receive from COST Action IC1405 a grant covering in part or in total travel and accommodation expenses. Applications will be evaluated by the organizing committee.

In order to apply for a grant, follow the procedure at:
http://revcomp.eu/school2017-grant.php

Important dates
---------------

Trainee grants application deadline: 26th May

Trainee grants notification: 12nd June

Registration deadline: 1st August

Training school: 28th August - 31st August

Organizing Committee
--------------------

Claudio Antares Mezzina (IMT Lucca, Italy)
Lukasz Mikulski (University of Torun, Poland), local organizer
Ivan Lanese (University of Bologna/INRIA, Italy), chair
Krzysztof Podlaski (University of Lodz, Poland)
Mathias Soeken (EPFL, Switzerland)
Michael Kirkedal Thomsen (University of Copenhagen, Denmark)
Irek Ulidowski (University of Leicester, UK)