Logic List Mailing Archive
CfP: RP 2024: 18th International Conference on Reachability Problems, 25-27 September, Vienna (Austria)
Dear all,
The 18th International Conference on Reachability Problems (RP'24) will take place in Vienna at the TU Wien, between 25-27 September 2024.
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.
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.
Thank you and best regards,
Ana and Laura
==================
Call for Presentation-Only Papers
at
the 18th International Conference on Reachability Problems (RP'24)
Sep 25, 2024 - Sep 27, 2024, TU Wien, Vienna, Austria
https://easychair.org/smart-program/RP24/
---------------------------------------------------------
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.
When: Sep 25, 2024 - Sep 27, 2024
Where: Vienna, Austria
Abstracts deadline of presentation-only contributions: August 2, 2024
Notification: August 6, 2024
Keynote Speakers:
- Ezio Bartocci, TU Wien
- Joost-Pieter Katoen, RWTH Aachen
- Antonín Kučera, Masaryk University
- Ruzica Piskac, Yale University
Tutorial Speaker:
- K. S. Thejaswini, IST Austria
Submission guildelines:
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.
Submissions should be prepared using the Springer LNCS guidelines and submitted via the link https://easychair.org/conferences/?conf=rp24
Program Committee:
Parosh Aziz Abdulla (Uppsala University)
Luca Aceto (Reykjavik University)
Christel Baier (TU Dresden)
Valerie Berthe (CNRS IRIF)
Valentina Castiglioni (Eindhoven University of Technology)
Michele Chiari (TU Wien)
Laure Daviaud (University of East Anglia)
Jim de Groot (The Australian National University)
Christoph Haase (University of Oxford)
Vesa Halava (University of Turku)
Ichiro Hasuo (National Institute of Informatics)
Jarkko Kari (University of Turku)
George Kenison (Liverpool John Moores University)
Sandra Kiefer (University of Oxford)
Laura Kovács (TU Wien) - chair
Jérôme Leroux (CNRS)
Rupak Majumdar (MPI-SWS)
Kaushik Mallik (Institute of Science and Technology Austria)
Tobias Meggendorfer (Lancaster University Leipzig)
Anca Muscholl (LaBRI, Universite Bordeaux)
Markus Müller-Olm (Universität Münster)
Dave Parker (University of Oxford)
Igor Potapov (University of Liverpool)
Amaury Pouly (IRIF/CNRS - Université Paris Diderot)
Jurriaan Rot (Radboud University)
Helmut Seidl (Technische Universität München)
Martina Seidl (Johannes Kepler University Linz)
Mahsa Shirmohammadi (CNRS)
Ana Sokolova (University of Salzburg) - chair
Maximilian Weininger (Institute of Science and Technology Austria)
Thorsten Wißmann (Friedrich-Alexander-Universität Erlangen-Nürnberg)
James Worrell (University of Oxford)
Dmitry Zaitsev (The University of Derby, UK)
Florian Zuleger (TU Wien)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php