[TYPES/announce] RC 2018 Call for Participation

ivan.lanese ivan.lanese at gmail.com
Tue Jul 24 15:31:31 EDT 2018


-----------------

Call for Participation

10th International Conference on Reversible Computation (RC 2018)
September 12th -- 14th, 2018, Leicester, UK
http://www.reversible-computation.org

==============================================================

Research in reversible computation has drawn the attention of researchers 
over the years. Reversible computation has a growing number of promising 
application areas such as low power design, coding/decoding, testing and 
verification, database recovery, discrete event simulation, reversible 
specification formalisms, reversible programming languages, process 
algebras, quantum computation, etc. First reversible circuits and quantum 
circuits have been implemented and are seen as promising alternatives to 
conventional CMOS technology.

The 10th International Conference on Reversible Computation (RC 2018) will 
bring together researchers from computer science, mathematics, physics, 
and from industry to discuss new developments and directions for future 
research in Reversible Computation. This includes applications of 
reversibility in quantum computation. The conference will take place on 
September 12th -- 14th in Leicester, UK, and is organised by the 
University of Leicester.

The conference programme features a talk titled "Discrete Space-Time-State 
Physics" by Edward F. Fredkin, four other invited talks by leading experts 
of the field, and 21 presentations selected by the programme committee 
from submitted papers. The full programme is available on the conference 
web site at

http://www.reversible-computation.org

==============================================================

Interested researchers are invited to participate in the conference. Instructions for
registration can be found on the registration page
http://www.reversible-computation.org/2018/registration.php. The early registration
finishes on August 19th.

===== Conference Chairs =====

Jarkko Kari
University of Turku, Finland

Irek Ulidowski
University of Leicester, UK


More information about the Types-announce mailing list