<div dir="ltr">Dear all, <div><br></div><div>The 18th International Conference on 
Reachability Problems (RP'24) will take place in Vienna at the TU Wien, between 
25-27 September 2024. </div><div><br></div><div>We have excellent 
invited speakers, great tutorial, and soon-to-be-decided list of accepted
 papers. RP 2024 will also come with great networking opportunities, 
many discussions and a nice conference dinner. </div><div><br></div><div>If
 you have ongoing/related work you would like to present at RP 2024, 
please consider submitting a short abstract. The deadline for this is 
August 2, 2024. </div><div><br></div><div>Thank you and best regards,</div><div><br></div><div>Ana and Laura<br></div><div><br></div><div>==================</div><div><br></div><div>Call for Presentation-Only Papers<br><br>at<br><br>the 18th International Conference on Reachability Problems (RP'24) <br>Sep 25, 2024 - Sep 27, 2024, TU Wien, Vienna, Austria<br><a href="https://urldefense.com/v3/__https://easychair.org/smart-program/RP24/__;!!IBzWLUs!XoYe-DIRBlGioM0xDinzKl7tgpsHojekyxcWraSNODAUga_fnJTb-gDPjYJYhsLOZDI_aVxl6MwFXEQiUxZbsE3EOogzfCTKH-bs$" target="_blank">https://easychair.org/smart-program/RP24/</a> <br> <br>---------------------------------------------------------<br>The 18th International Conference on Reachability Problems (RP'24) is being organised as a physical meeting by the Formal Methods in Systems Engineering Research Unit of the Faculty of Informatics at the TU Wien.<br><br>When: Sep 25, 2024 - Sep 27, 2024<br>Where: Vienna, Austria<br>Abstracts deadline of presentation-only contributions: August 2, 2024<br>Notification: August 6, 2024<br><br>Keynote Speakers:<br>- Ezio Bartocci, TU Wien<br>- Joost-Pieter Katoen, RWTH Aachen<br>- Antonín Kučera, Masaryk University<br>- Ruzica Piskac, Yale University<br><br>Tutorial Speaker:<br>- K. S. Thejaswini, IST Austria<br><br>Submission guildelines:<br>Presentation-only
 contributions are short abstracts based on a paper that is recently 
appeared (or is going to appear) in proceedings of another conference, 
or a paper that has not yet been submitted. Neither the abstract, nor 
its accompanying paper will be published in the RP'24 proceedings. 
Abstracts of presentation-only contributions submitted to RP'24 are of 
at most 2 pages (excluding the bibliography and potential appendices), 
formatted according to the Springer LNCS guidelines and summarizing the 
key ideas of the work to be presented. In case the abstract is  based on
 a paper that is recently appeared (or is going to appear) in 
proceedings of another conference, we ask authors to indicate that venue
 in their abstract submission to RP'24. <br><br>Submissions should be prepared using the Springer LNCS guidelines and submitted via the link <a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=rp24__;!!IBzWLUs!XoYe-DIRBlGioM0xDinzKl7tgpsHojekyxcWraSNODAUga_fnJTb-gDPjYJYhsLOZDI_aVxl6MwFXEQiUxZbsE3EOogzfLpQX0Nl$" target="_blank">https://easychair.org/conferences/?conf=rp24</a><br><br>Program Committee:</div><div><br></div><div>Parosh Aziz Abdulla (Uppsala University)<br>Luca Aceto (Reykjavik University)<br>Christel Baier (TU Dresden)<br>Valerie Berthe (CNRS IRIF)<br>Valentina Castiglioni (Eindhoven University of Technology)<br>Michele Chiari (TU Wien)<br>Laure Daviaud (University of East Anglia)<br>Jim de Groot (The Australian National University)<br>Christoph Haase (University of Oxford)<br>Vesa Halava (University of Turku)<br>Ichiro Hasuo (National Institute of Informatics)<br>Jarkko Kari (University of Turku)<br>George Kenison (Liverpool John Moores University)<br>Sandra Kiefer (University of Oxford)<br>Laura Kovács (TU Wien) - chair<br>Jérôme Leroux (CNRS)<br>Rupak Majumdar (MPI-SWS)<br>Kaushik Mallik (Institute of Science and Technology Austria)<br>Tobias Meggendorfer (Lancaster University Leipzig)<br>Anca Muscholl (LaBRI, Universite Bordeaux)<br>Markus Müller-Olm (Universität Münster)<br>Dave Parker (University of Oxford)<br>Igor Potapov (University of Liverpool)<br>Amaury Pouly (IRIF/CNRS - Université Paris Diderot)<br>Jurriaan Rot (Radboud University)<br>Helmut Seidl (Technische Universität München)<br>Martina Seidl (Johannes Kepler University Linz)<br>Mahsa Shirmohammadi (CNRS)<br>Ana Sokolova (University of Salzburg) - chair<br>Maximilian Weininger (Institute of Science and Technology Austria)<br>Thorsten Wißmann (Friedrich-Alexander-Universität Erlangen-Nürnberg)<br>James Worrell (University of Oxford)<br>Dmitry Zaitsev (The University of Derby, UK)<br>Florian Zuleger (TU Wien)<div class="gmail-adL"><br><br></div></div></div>