[TYPES/announce] International Training School on Reversible Computation

ivan.lanese ivan.lanese at gmail.com
Mon May 15 04:17:23 EDT 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
----------------------------------------------------------------------

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 at 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)




More information about the Types-announce mailing list