[TYPES/announce] RP 2024 - call for presentation-only abstracts, deadline August 2, 2024

[Ana Sokolova]

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://urldefense.com/v3/__https://easychair.org/smart-program/RP24/__;!!IBzWLUs!XoYe-DIRBlGioM0xDinzKl7tgpsHojekyxcWraSNODAUga_fnJTb-gDPjYJYhsLOZDI_aVxl6MwFXEQiUxZbsE3EOogzfCTKH-bs$ 

---------------------------------------------------------
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://urldefense.com/v3/__https://easychair.org/conferences/?conf=rp24__;!!IBzWLUs!XoYe-DIRBlGioM0xDinzKl7tgpsHojekyxcWraSNODAUga_fnJTb-gDPjYJYhsLOZDI_aVxl6MwFXEQiUxZbsE3EOogzfLpQX0Nl$ 

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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20240705/578768ed/attachment-0001.htm>