<!DOCTYPE html>
<html>
  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body>
    <div dir="ltr">
      ====================================== <br>
                      *<span class="gmail-il">Call</span> for <span
        class="gmail-il">Papers</span>*<br>
            *Reversible Computation 2024*<br>
      ====================================== <br>
      <br>
      <div>
          July 4th – 5th, Torun, Poland <br>
      </div>
      <div><br>
      </div>
      <div>  <a href="https://urldefense.com/v3/__https://rc2024.mat.umk.pl/__;!!IBzWLUs!SP8xbIlLLaKzYfAaaUPfLRP7A4mSGJ-GQa4GFs27hyuu77OqZCxT1s5Z8QEFY-9oeKOax0VNMKoJr73ZGr_yjOwODMo9W_ZTjbHHYjzM21Ob$" moz-do-not-send="true" class="moz-txt-link-freetext">https://rc2024.mat.umk.pl/</a></div>
      <div><br>
      </div>
      <div>
        ------------<br>
        | Scope    |<br>
        ------------<br>
        <br>
        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. <br>
        <br>
        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 <span class="gmail-il">papers</span>,
        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. <br>
        <br>
        Contributions on all areas of Reversible Computation are
        welcome, including — but not limited to — the following topics:<br>
            - Applications<br>
            - Architectures<br>
            - Algorithms<br>
            - Bidirectional transformations<br>
            - Circuit Design<br>
            - Debugging<br>
            - Fault Tolerance and Error Correction<br>
            - Hardware<br>
            - Information Theory<br>
            - Physical Realizations<br>
            - Programming Languages<br>
            - Quantum Computation<br>
            - Software<br>
            - Synthesis<br>
            - Theoretical Results<br>
            - Testing<br>
            - Verification <br>
      </div>
      <div><br>
      </div>
      <div>
        -------------------<br>
        | Important dates |<br>
        -------------------<br>
        <br>
        Abstract submission: February 4, 2024<br>
        Submission deadline: February 11, 2024 <br>
        Notification to authors: March 22, 2024<br>
        Final version: April 14, 2024<br>
        Conference: July 4 - July 5, 2024</div>
      <div><br>
      </div>
      <div>
        ---------------------<br>
        | Program Committee |<br>
        ---------------------<br>
        <br>
        Programme Chairs<br>
        <br>
            Łukasz Mikulski (
        Nicolaus Copernicus University
        in Toruń, Poland, <a href="mailto:lukasz.mikulski@mat.umk.pl"
          moz-do-not-send="true" class="moz-txt-link-freetext">lukasz.mikulski@mat.umk.pl</a>)<br>
            Torben Ægidius Mogensen
        (
        University of Copenhagen, Denmark, <a
          href="mailto:torbenm@di.ku.dk" target="_blank"
          moz-do-not-send="true" class="moz-txt-link-freetext">torbenm@di.ku.dk</a>)<br>
        <br>
        Programme Committee Members<br>
        <br>
            Clément Aubert (Augusta University, USA)<br>
            Kamalika Datta (German Research Centre for Artificial
        Intelligence, DFKI Bremen, Germany)<br>
            Robert Glück (University of Copenhagen, Denmark)<br>
            James Hoey (University of Leicester, UK)</div>
      <div>    Robin Kaarsgaard (University of Southern Denmark,
        Denmark)</div>
      <div>
            Ivan Lanese (Università di Bologna/INRIA, Italy)<br>
            Andreas Malcher (Justus-Liebig-Universität Giessen, Germany)</div>
      <div>    Uwe Meyer (Technische Hochschule Mittelhessen, Germany)<br>
      </div>
      <div>
            Claudio Mezzina (Università di Urbino, Italy)<br>
            Iain Phillips (Imperial College, UK)</div>
      <div>    Krzysztof Podlaski (University Of Lodz, Poland)<br>
            Michael Kirkedal Thomsen (University of Oslo, Norway and
        University of Copenhagen, Denmark)<br>
            Irek Ulidowski (University of Leicester, UK)<br>
            Robert Wille (Technische Universität München, Germany)<br>
            Shigeru Yamashita (Ritsumeikan University, Kyoto, Japan<br>
            Tetsuo Yokoyama (Nanzan University, Japan)<br>
            Shoji Yuen (Nagoya University, Japan)<br>
      </div>
      <div><br>
      </div>
      <div>
        ---------------------<br>
        | How to Submit     |<br>
        ---------------------<br>
        <br>
        To submit a <span class="gmail-il">paper</span> to the
        Reversible Computation conference, please follow these
        guidelines: <br>
        You can submit<br>
            - Full research <span class="gmail-il">papers</span> (16
        pages maximum, including bibliography),<br>
            - Work-in-progress or tool demonstration <span
          class="gmail-il">papers</span> (6 pages maximum, including
        bibliography).
      </div>
      <div><br>
      </div>
      <div>
        The <span class="gmail-il">paper</span> submission will be
        accepted as a PDF file using the LNCS style.<br>
      </div>
      <div><br>
      </div>
      <div>
        Authors are encouraged to include their ORCID's in the <span
          class="gmail-il">paper</span>.<br>
        Author(s) of accepted <span class="gmail-il">papers</span> are
        expected to participate in the conference and to present their <span
          class="gmail-il">papers</span>. We would appreciate it if one
        person would not present more than two <span class="gmail-il">papers</span>
        at the conference. If more than two <span class="gmail-il">papers</span>
        are accepted by a group of authors, we kindly ask that the <span
          class="gmail-il">papers</span> be presented by different
        co-authors, as far as possible. PC chairs and general chairs are
        not permitted to submit <span class="gmail-il">papers</span> to
        the conference.<br>
        All accepted <span class="gmail-il">papers</span> will be
        included in the conference proceedings and published by Springer
        as a Lecture Notes in Computer Science (LNCS) volume.
      </div>
      <div><br>
      </div>
      <div>
        <span class="gmail-il">Papers</span> are to be submitted via <a target="_blank" href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=rc2024__;!!IBzWLUs!SP8xbIlLLaKzYfAaaUPfLRP7A4mSGJ-GQa4GFs27hyuu77OqZCxT1s5Z8QEFY-9oeKOax0VNMKoJr73ZGr_yjOwODMo9W_ZTjbHHYg0ysAzt$" moz-do-not-send="true" class="moz-txt-link-freetext">https://easychair.org/conferences/?conf=rc2024</a>.
      </div>
      <div><br>
      </div>
      <div><br>
      </div>
    </div>
  </body>
</html>