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 | Design of Semantics by Abstract Interpretation or Trace-Based Abstract Interpretation |
| 14:30 - 15:05 | Alternatives to Iterations with Widening: Policy Iteration and Others |
| 15:05 - 15:40 | Experience Designing Static Analyzers by Abstract Interpretation |
| 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 | Hyper Hyper |
| 10:45 - 11:15 | Coffee break |
| 11:15 - 11:50 | A Journey through LiSA and its Frontends |
| 11:50 - 12:25 | JLiSA at SV-COMP 2026 |
| 12:25 - 14:00 | Lunch |
| 14:00 - 14:35 | Quantum Compilation as Urban Planning |
| 14:35 - 15:10 | Incremental Static Analysis for Biological Models |
| 15:10 - 15:45 | Industrial Talk, TBA |
| 15:45 - 16:15 | Coffee break |
| 16:15 - 17:00 | Roundtable and discussion |
| 17:00 - 17:15 | Closing |