Programme
Programme of main conferences from Monday to Thursday. Distinguished papers are highlighted in yellow and by asterisk.
Thursday 16 April
09:00
Guy Van Den Broeck: Symbolic Reasoning in the Age of Large Language Models
Chair: Sebastian Junges
Room: Sala 500
10:00
Coffee Break
Room: Expo Area
TACAS: CPS & Quantum
Chair: Kim Larsen
Room: Sala 500
10:30
Lukas König, Christian Schildwächter, Michaela Klauck and Christian Heinzemann.
10:50
Ludovico Battista, Stefano Tonetta and Gianni Zampedri.
11:10
S. Akshay, Prerak Contractor, Paul Gastin, R Govind and B Srivathsan.
11:30
Sebastian Schirmer, Philipp Schitz, Johann C. Dauer, Bernd Finkbeiner and Sriram Sankaranarayanan.
11:50
Wei-Jia Huang, Jingyi Mei, Alfons Laarman, Yu-Fang Chen, Christophe Chareton, Kai-Min Chung and Min-Hsiu Hsieh.
12:10
Chien-Kai Ma, Bo-Hung Chen, Tian-Fu Chen, Dah-Wei Chiou and Jie-Hong Roland Jiang.
ESOP: Analysis
Chair: Guillaume Ambal
Room: Sala Berlino
10:30
Satoshi Kura, Marco Gaboardi, Taro Sekiyama and Hiroshi Unno.
10:50
Han Xu and Di Wang.
11:30
Malo Revel, Thomas Genet and Thomas Jensen.
11:50
Nils Lommen and Jürgen Giesl.
12:10
Yasmin Sarita, Avaljot Singh, Shaurya Gomber, Gagandeep Singh and Mahesh Viswanathan.
SPIN
Chair: Mattias Ulbrich
Room: Sala Parigi
10:30
Invited talk: Satisfiability-Modulo-Probabilistic Model Checking: Synthesising Robust & Concise Strategies under Uncertainty
Sebastian Junges
11:30
Deductive Verification of Weak Memory Programs with View-based Protocols
Ömer Şakar, Soham Chakraborty, Marieke Huisman and Anton Wijs.
12:00
Crash-free Deductive Verifiers
Wander Nauta, Marcus Gerhold and Marieke Huisman (12:00).
12:30
Lunch Break
Room: Expo Area
TACAS: Model Checking & Hardware Verification
Chair: Rayna Dimitrova
Room: Sala 500
14:00
Roberto Pettinau and Christoph Matheja.
14:20
Raz Lotan, Neta Elad, Oded Padon and Sharon Shoham.
14:40
Frédéric Herbreteau, Gérald Point and Igor Walukiewicz.
15:00
John Nicol and Markus Frohme.
15:20
Chen Chen, Daniela Kaufmann, Chenhui Deng, Zhan Song, Hongce Zhang and Cunxi Yu
15:40
Guangyu Hu, Xiaofeng Zhou, Wei Zhang and Hongce Zhang.
16:00
Valentin Cassano, Pablo Castro, Raul Fervari and Pedro R. D'Argenio.
Diversity, Equity, and Inclusion
Chair: Maurice ter Beek and Ferruccio Damiani
Room: Sala Londra
14:00
Is artificial intelligence neutral? Gen(d)erally no. Reimagining research in STEM through epistemic justice and intersectionality
Viviana Patti
14:30
Detecting a desperate treatment of genders in job interviews with generative AI chatbot (14:30)
Rosa Meo
15:00
AI: Artificially Inaccessible
Dajana Gioffrè and Jacopo Deyla
15:30
Panel Discussion and Q&A (15:30)
Test-Comp
Chair: Dirk Beyer
Room: Sala Madrid
14:00
Opening and Introduction
Dirk Beyer
14:20
Short Tool Presentations
Participants
SPIN
Chair: Vincenzo Ciancia and Arnd Hartmanns
Room: Sala Parigi
14:00
Invited talk: Learning and Proving Array Invariants
Laura Kovács
15:00
Recurrence-seeking Tests for Non-termination
Ravindra Metta, Hrishikesh Karmarkar, Kumar Madhukar, Supratik Chakraborty and Samarjit Chakraborty.
16:00
Coffee Break
Room: Expo Area
TACAS: SAT/SMT II
Chair: Natasha Sharygina
Room: Sala 500
16:30
Tomáš Kolárik, Antti E.J. Hyvärinen, Seyedmasoud Asadzadeh and Natasha Sharygina.
16:50
Dominik Schreiber, Aina Niemetz and Mathias Preiner.
17:10
Hans-Jörg Schurr, François Bobot, Mathias Preiner, Aina Niemetz, Pascal Fontaine, Cesare Tinelli and Clark Barrett.
17:50
Jakub Horák and Martin Jonáš.
SV-COMP and Test-Comp Community Meeting
Chair: Dirk Beyer and Jan Strejček
Room: Sala Madrid
16:30