Programme
Programme of main conferences from Monday to Thursday. Best Paper candidates are highlighted in yellow and by asterisk.
Wednesday 10 April
09:00
Jérôme Leroux: The Petri Net Reachability Problem (FoSSaCS invited speaker)
Chair: Naoki Kobayashi
Room: Europe A
10:00
Coffee Break
Room: Europe C
TACAS: Software Verification
Chair: Tomáš Vojnar
Room: Hollenfels
10:30
Mayank Solanki, Prantik Chatterjee, Akash Lal and Subhajit Roy
11:00
Sumanth Prabhu, Deepak D'Souza, Supratik Chakraborty, Venkatesh R and Grigory Fedyukovich
12:00
Leping Zhang, Yongwang Zhao and Jianxin Li
ESOP: Domain-Specific Languages
Chair: Josh Ko
Room: Schengen II
10:30
Andrea Colledan and Ugo Dal Lago
11:00
Anders Ågren Thuné, Kazutaka Matsuda and Meng Wang
11:30
Martin Avanzini, Georg Moser, Romain Péchoux and Simon Perdrix
12:00
Hiroya Fujinami and Ichiro Hasuo
FoSSaCS: Automata and Synthesis
Chair: Bart Jacobs
Room: Diekirch-Echternach-Fischbach
10:30
Shaull Almagor and Neta Dafni
12:00
Orna Kupferman, Ofer Leshkowitz and Naama Shamash Halevy
Spin: Software Verification
Chair: Thomas Neele
Room: Schengen I
10:30
Taming the AI Monster: Monitoring of Individual Fairness for Effective Human Oversight (keynote)
Holger Hermanns
11:30
Augmenting Interpolation-Based Model Checking with Auxiliary Invariants*
Dirk Beyer, Po-Chun Chien and Nian-Ze Lee
12:00
Max Barth and Marie-Christine Jakobs
12:30
Lunch
Room: Europe B
13:00
ETAPS General Assembly
Room: Europe A
TACAS: Probabilistic Systems
Chair: Kim Larsen
Room: Hollenfels
14:00
Hannah Mertens, Joost-Pieter Katoen, Tim Quatmann and Tobias Winkler
14:30
Thom Badings, Matthias Volk, Sebastian Junges, Marielle Stoelinga and Nils Jansen
15:00
Kazuki Watanabe, Marck van der Vegt, Ichiro Hasuo, Jurriaan Rot and Sebastian Junges
15:30
Alexander Bork, Debraj Chakraborty, Kush Grover, Jan Kretinsky and Stefanie Mohr
ESOP: Bidirectional typing / Session types
Chair: Ugo Dal Lago
Room: Schengen II
15:30
Elaine Li, Felix Stutz and Thomas Wies
FoSSaCS: Types and Programming Languages
Chair: James Worrell
Room: Diekirch-Echternach-Fischbach
14:00
Valentin Blot, Gilles Dowek, Thomas Traversié and Théo Winterhalter
15:00
Sergey Goncharov, Alessio Santamaria, Lutz Schröder, Stelios Tsampas and Henning Urbat
15:30
Patrick Baillot, Ugo Dal Lago, Cynthia Kop and Deivid Vale
Spin: Anniversary Track
Chair: Anton Wijs
Room: Schengen I
14:00
The Spin on Spin (keynote)
Gerald Holzmann
15:00
Two Decades of Industrializing Formal Verification: The Reactis Story
Rance Cleaveland, David Hansel, Steve Sims and Scott Smolka
15:30
Automated Reasoning in Quantum Circuit Compilation
Dimitrios Thanos, Alejandro Villoria, Sebastiaan Brand, Arend-Jan Quist, Jingyi Mei, Tim Coopmans and Alfons Laarman
Tool demo session
Room: Europe B
14:00
16:00
Coffee break
Room: Europe C
TACAS: Simulations
Chair: Javier Esparza
Room: Hollenfels
17:00
Antonio Jiménez-Pastor, Kim Guldstrand Larsen, Mirco Tribastone and Max Tschaikowski
17:30
Shang-Wei Lin, Tzu-Fan Wang, Yean-Ru Chen, Zhe Hou, David Sanán and Yon Shin Teo
ESOP: Dependent Types
Chair: Benoit Montagu
Room: Schengen II
17:00
Cyril Cohen, Enzo Crance and Assia Mahboubi
17:30
Théo Laurent, Meven Lennon-Bertrand and Kenji Maillard
TACAS: Neural Networks
Chair: Arie Gurfinkel
Room: Diekirch-Echternach-Fischbach
16:30
Xiyue Zhang, Benjie Wang and Marta Kwiatkowska
17:00
Dong Xu, Nusrat Jahan Mozumder, Hai Duong and Matthew Dwyer
17:30
Matthias Cosler, Christopher Hahn, Ayham Omar and Frederik Schmitt
Spin: Automated Reasoning
Chair: Alfons Laarman
Room: Schengen I
16:30
Random Access on Narrow Decision Diagrams in External Memory
Steffan Christ Sølvsten, Casper Moldrup Rysgaard and Jaco van de Pol
17:00
Solving Constrained Horn Clauses as C Programs with CHC2C
Levente Bajczi and Vince Molnár