[TYPES/announce] Reversible Computation 2020 Call for Participation (fwd)

[ivan.lanese]

---------- Forwarded message ----------
Date: Mon, 22 Jun 2020 08:56:02 +0200 (CEST)
From: ivan.lanese <ivan at gmail.com>
To: RevComp-List at jiscmail.ac.uk
Subject: Reversible Computation 2020 Call for Participation

We apologize if you receive multiple copies of this Call for Papers.
Please distribute to anyone who may be interested.
=======================================================================

Call for Participation
12th Conference on Reversible Computation
(RC 2020)

July 9th-10th, 2020
https://reversible-computation-2020.github.io/

Full online event will live talks and q&a
Participation is free of charge (but registration is needed)

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

Reversible computation has a growing number of promising application areas such 
as low power design, coding/decoding, debugging, testing and verification, 
database recovery, discrete event simulation, reversible algorithms, reversible 
specification formalisms, reversible programming languages, process algebras, 
and the modeling of biochemical systems. Furthermore, reversible logic provides 
a basis for quantum computation with its applications, for example, in 
cryptography and in the development of highly efficient algorithms. First 
reversible circuits and quantum circuits have been implemented and are seen as 
promising alternatives to conventional CMOS technology.

The conference will bring together researchers from computer science, 
mathematics, and physics to discuss new developments and directions for future 
research in Reversible Computation. This includes applications of reversibility 
in quantum computation. Research papers, tutorials, tool demonstrations, and 
work-in-progress reports are within the scope of the conference. Invited talks 
by leading international experts will complete the program. Contributions on 
all areas of Reversible Computation are welcome, including---but not limited 
to---the following topics:

* Applications
* Architectures
* Algorithms
* Bidirectional transformations
* Circuit Design
* Debugging
* Fault Tolerance and Error Correction
* Hardware
* Information Theory
* Physical Realizations
* Programming Languages
* Quantum Computation
* Software
* Synthesis
* Theoretical Results
* Testing
* Verification

===== Program ====

The (preliminary) program is available at:

https://reversible-computation-2020.github.io/program/

===== Registration and participation ====

RC 2020 will be held online due to the COVID-19 pandemics.
Nevertheless, we will do a live event using Zoom technology.
Thus, authors will give their talks using Zoom, and attendees can ask
their questions and get the answers using Zoom as well. Detailed
technical instructions will be made available in the next days.

Participation is free of charge, but registration is needed in order
to get the credentials for attending, hence please register at:

https://reversible-computation-2020.github.io/registration/

We remark that this can be a good occasion to attend RC and get in
contact with the RC community and the RC topics for people that may be
in difficulty in attending a physical meeting, such as people on low
budget. Hence, please send this call for participation to your
students and colleagues.

===== Invited speakers =====

Marek Perkowski (Portland State University, US)
Perdita Stevens (University of Edinburgh, Scotland)

===== General Chair =====

Rudolf Schlatte
University of Oslo
Norway

===== Program Chairs =====

Ivan Lanese
University of Bologna/INRIA
Italy

Mariusz Rawski
Warsaw University of Technology
Poland

===== Program Committee =====

  * Gerhard Dueck (University of New Brunswick, Canada)
  * Robert Glück (University of Copenhagen, Denmark)
  * Jarkko Kari (University of Turku, Finland)
  * Jean Krivine (CNRS, France)
  * Martin Lukac (Nazarbayev University, Kazakhstan)
  * Kazutaka Matsuda (Tohoku University, Japan)
  * Claudio Antares Mezzina (Università di Urbino, Italy)
  * Lukasz Mikulski (Nicolaus Copernicus University, Poland)
  * Torben Ægidius Mogensen (University of Copenhagen, Denmark)
  * Claudio Moraga (TU Dortmund University, Germany)
  * Iain Phillips (Imperial College London, UK)
  * Krzysztof Podlaski (University Of Lodz, Poland)
  * Markus Schordan (Lawrence Livermore National Laboratory, US)
  * Peter Selinger (Dalhousie University, Canada)
  * Mathias Soeken (Ecole Polytechnique Fédérale de Lausanne, Switzerland)
  * Milena Stankovic (University of Nis, Serbia)
  * Himanshu Thapliyal (University of Kentucky, US)
  * Irek Ulidowski (University of Leicester, UK)
  * German Vidal (Universitat Politecnica de Valencia, Spain)
  * Robert Wille (Johannes Kepler University Linz, Austria)
  * Tetsuo Yokoyama (Nanzan University, Japan)

===== Contacts =====

rc2020 at easychair.org
https://reversible-computation-2020.github.io/