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"