Talks
Titles and abstracts marked as to be determined will be updated once finalized.
- Patrick Cousot, "Non Standard Axiomatic Semantics"
- David Monniaux, "Alternatives to Iterations with Widening: Policy Iteration and Others"
- Antoine Miné, "Experience Designing Static Analyzers by Abstract Interpretation"
- Caterina Urban, "Termination Resilience Static Analysis"
- Anastasia Isychev, "Who Guards the Guards? Testing Program Analyzers"
- Florian Zuleger, "Automating Amortised Resource Analysis of Self-Adjusting and Probabilistic Data Structures"
- Javier Esparza, "Interactive Proof Systems for Automated Reasoning"
- Markus Müller-Olm, "Automata and Logics for Asynchronous Hyperproperties"
- Bernd Finkbeiner, "Hyper Hyper"
- Vincenzo Arceri, "A Journey through LiSA and its Frontends"
- Pietro Ferrara, "JLiSA: from zero to podium at SV-COMP"
- Yanbin Chen, "Quantum Advantage: Proven, Believed, or Demonstrated?"
- Rebecca Ghidini, "Incremental Static Analysis for Biological Models"
- Andrea Flexeder, "To be determined"