Workshop and festschrift in honour of
Javier Esparza at the occasion of his 60th birthday
- Satellite event of ETAPS 2024 in Luxembourg
The submission are to be done over Easychair.
The tentative important dates are set as follows:
- Abstract submission: December 2023
- Final versions: January 2024
Programme
Sunday, April 7, 2024
- 9:00 Welcome
- 9:10 Kyveli Doveri, Pierre Ganty, Chana Weil-Kennedy: A Uniform
Framework for Language Inclusion Problems
slides
- 9:35 Petr Jančar, Jérôme Leroux: On the Home-Space Problem for Petri
Nets
slides
10:00-10:30 Coffee break
- 10:30 Stefan Kiefer, Richard Mayr, Mahsa Shirmohammadi, Patrick
Totzke: Memoryless Strategies in Stochastic Reachability Games
- 10:55 Tobias Nipkow: Region Quadtrees Verified
- 11:20 Peter Rossmanith: Computing pre^* for General Context Free Grammars
- 11:45 Helmut Seidl, Julian Erhard, Michael Schwarz, Sarah Tilscher:
2-Pointer Logic
- 12:10 Viktor Malík, Peter Schrammel, Tomáš Vojnar: Template-Based
Verification of Array-Manipulating Programs
12:35 Lunch break
- 14:00 Eike Best, Raymond Devillers Coverability in Well-Formed Free-Choice Petri Nets
- 14:25 Informal gathering after the lunch
Room still to be announced by the ETAPS organizers
Organizers:
Jan Kretinsky, Stefan Kiefer, Tony Kucera
For any question, please contact Jan Kretinsky at firstname.lastname@tum.de