Programme
Programme of main conferences from Monday to Thursday. Distinguished papers are highlighted in yellow and by asterisk.
Monday 13 April
08:45
ETAPS 2026 Opening
Chair: Laura Kovács
Room: Sala 500
09:00
Christel Baier: Verification of Infinite-horizon Properties of Dynamic Bayesian Networks
Chair: Nathalie Bertrand
Room: Sala 500
10:00
Coffee Break
Room: Expo Area
TACAS: Proofs and Quantifier Elimination
Chair: Naijun Zhan
Room: Sala 500
10:30
Dominik Schreiber, Mathias Fleury, Katalin Fazekas and Armin Biere.
10:50
Lydia Kondylidou, Andrew Reynolds, Jasmin Blanchette and Cesare Tinelli.
11:50
Peter Pfeiffer, Mark Peyrer, Daniel Grosse and Martina Seidl.
12:00
Kilian Lichtner, Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin and Georg Zetzsche.
12:10
Hao Wu, Jiyu Zhu, Amir Goharshady, Jie An, Bican Xia and Naijun Zhan.
FASE: SE and AI
Chair: Elvira Albert and Corina Pasareanu
Room: Sala Madrid
10:30
Monika Gupta, Ajay Meena, Anamitra Roy Choudhury, Vijay Arya and Srikanta Bedathur.
10:50
Erin Woo, Sangyeop Yeo, Hyungkook Jun, Sangcheol Kim, Seung-won Hwang and Yu-Seung Ma.
11:10
Yili Jiang, Zhuoran Yan, Ning Ge, Yuan Wang, Jiahao Weng and Chunming Hu.
11:30
Giacomo Fantino, Marco Rondina, Antonio Vetro' and Juan Carlos De Martin.
11:50
Imane Bousdira, Martin Cooper and Aurélie Hurault.
12:10
Olivier Zeyen, Karim Tit, Maxime Cordy and Gilles Perrouin.
FOSSACS: Logic, Model Checking, Formal Specifications
Chair: Joost-Pieter Katoen
Room: Sala Londra
11:10
Béatrice Bérard, Benjamin Monmege, B Srivathsan and Arnab Sur.
11:30
Mathieu Lehaut, Anca Muscholl and Nir Piterman
11:50
Laura Bozzelli, Tadeusz Litak, Munyque Mittelmann and Aniello Murano.
12:10
Bernd Finkbeiner, Hadar Frenkel and Tim Rohde.
FM4All
Chair: Luigia Petre
Room: Sala Berlino
10:30
RUST
Chair:
Room: Sala Parigi
10:30
Soteria Rust: Efficient Symbolic Execution for Rust
Opale Sjöstedt, Sacha-Élie Ayoun and Azalea Raad
11:00
Brushing off the Rust: Towards Compositional Memory Safety Verification for unsafe Rust
Florian Sextl
11:30
Scylla: Translating an Applicative Subset of C to Safe Rust
Aymeric Fromherz and Jonathan Protzenko
12:00
RustMC: Automated Verification of Real-World Concurrent Rust
Oliver Pearce, Dan O'Keeffe and Julien Lange
12:30
Lunch Break
Room: Expo Area
14:00
Leonardo de Moura: The Lean Programming Language and Theorem Prover (Invited Tutorial)
Chair: Jan Kofron
Room: Sala 500
15:30
Tool Demos and Posters (with Coffee)
Chairs: Jan Kofron and Laura Kovács
Room: Expo Area
16:00
Coffee Break with Tool Demos and Posters
Chairs: Jan Kofron and Laura Kovács
Room: Expo Area
TACAS: Software Verification
Chair: Arnd Hartmanns
Room: Sala 500
16:30
Kyungmin Bae, Mircea Marin, Peter Csaba Ölveczky, Mario Reja and Mikheil Rukhaia.
17:10
Dirk Beyer, Po-Chun Chien, Bo-Yuan Huang, Nian-Ze Lee and Thomas Lemberger.
17:30
Chuyue Sun, Yican Sun, Daneshvar Amrollahi, Ethan Zhang, Shuvendu Lahiri, Shan Lu, David Dill and Clark Barrett.
17:50
Guy Amir, Mark Barbone, Nicolas Amat and Jules Jacobs.
18:10
Mahrokh Mirani, Paola Inverardi, Patrizio Pelliccione, Franco Raimondi and Nicolas Troquard.
FASE: Advanced SW Development
Chair: Artur Boronat
Room: Sala Madrid
16:30
Junjie Luo, Shangzhou Xia, Fuyuan Zhang and Jianjun Zhao.
16:50
Mina Yavari and Damian Arellanes.
17:10
Tianhai Liu, Shmuel Tyszberowicz and Bernhard Beckert.
17:30
Valentim Romão, Rafael Soares, Luis Rodrigues and Vasco Manquinho.
17:50
Muhammad Rizwan Ali, Violet Ka I Pun and Guillermo Román-Díez.
18:10
Youyang Kim, Yaoping Ruan, Young-Kyoon Suh, Liqiang Wang and Byungchul Tak.
FOSSACS: Automata, Games, Concurrency Models
Chair: Lutz Schröder
Room: Sala Londra
16:50
Sarvin Bahmani, Rasmus Ibsen-Jensen, Soumyajit Paul, Sven Schewe, Friedrich Slivovsky, Qiyi Tang, Dominik Wojtczak and Shufang Zhu.
17:10
Isa Vialard, Joël Ouaknine and Quentin Guilmant.
17:30
Adrien Pommellet, Amazigh Amrane, Edgar Delaporte, Geoffroy Du Prey and Oscar Peyron.
17:50
Hernán Melgratti, Claudio Antares Mezzina and G. Michele Pinna.
18:10
Clotilde Bizière, Jérôme Leroux and Grégoire Sutre.
SV-COMP
Chair: Dirk Beyer and Jan Strejček
Room: Sala Berlino
16:30
Opening and Introduction
Dirk Beyer and Jan Strejček
16:50
C.Huawei-Concurrency-Challenges
Hernán Ponce de León
17:02
Short Tool Presentations
Participants
18:26
Python Subtrack of SV-COMP 2027
Raphaël Monat
RUST
Chair:
Room: Sala Parigi
16:30
Co-development of Code and Proofs for the SymCrypt Cryptographic Library with Aeneas and Lean
Son Ho, Cédric Fournet, Antoine Delignat-Lavaud, Aymeric Fromherz and Jonathan Protzenko
17:00
Place Capability Graphs
Zachary Grannan, Aurea Bílá, Jonáš Fiala, Thomas Mayerl, Peter Müller and Alexander J. Summers
17:30
Prusti Version 2 (and why there is one)
Aurea Bílá, Jonáš Fiala, Grannan Zachary, Thomas Mayerl, Jasper Geer, Peter Müller and Alexander J. Summers
18:00
RUXT: Automatic Compositional Type Safety Refutation
Pedro Carrott, Sacha-Elie Ayoun and Azalea Raad
19:00
ETAPS Reception
Room: Corridoio Nizza