Schedule
This is a working draft for the scientific program on July 16-17, 2026. Talk slots are provisionally planned as 35 minutes including questions and changeover, except where noted.
Thursday, July 16
| 13:00 - 13:30 | Arrival and registration |
| 13:30 - 13:45 | Welcome |
| 13:45 - 14:30 | Non Standard Axiomatic Semantics |
| 14:30 - 15:05 | Alternatives to Iterations with Widening: Policy Iteration and Others |
| 15:05 - 15:40 | Experience Designing a Static Analyzer by Abstract Interpretation with MOPSA |
| 15:40 - 16:10 | Coffee break |
| 16:10 - 16:45 | Termination Resilience Static Analysis |
| 16:45 - 17:20 | Who Guards the Guards? Testing Program Analyzers |
| 17:20 - 17:55 | Automating Amortised Resource Analysis of Self-Adjusting and Probabilistic Data Structures |
| 17:55 - 18:00 | Closing |
Friday, July 17
| 09:00 - 09:35 | Interactive Proof Systems for Automated Reasoning |
| 09:35 - 10:10 | Automata and Logics for Asynchronous Hyperproperties |
| 10:10 - 10:45 | Hyperproperties beyond k-Hypersafety |
| 10:45 - 11:15 | Coffee break |
| 11:15 - 11:50 | Quantum Advantage: Proven, Believed, or Demonstrated? |
| 11:50 - 12:25 | A Journey through LiSA and its Frontends |
| 12:25 - 12:45 | JLiSA: from zero to podium at SV-COMP |
| 12:45 - 14:35 | Lunch |
| 14:35 - 14:55 | Revue |
| 14:55 - 15:15 | Anecdotes |
| 15:15 - 15:50 | Incremental Static Analysis for Biological Models |
| 15:50 - 16:25 | Lost in Translation: Formal Methods vs. Industrial Reality |
| 16:25 - 16:55 | Coffee break |
| 16:55 - 17:30 | Verification of Earley's Algorithm, Including Time Bounds |
| 17:30 - 18:15 | Roundtable and discussion |
| 18:15 - 18:30 | Closing |