Christel Baier: Verification of Infinite-horizon Properties of Dynamic Bayesian Networks

TACAS: Proofs and Quantifier Elimination
FASE: SE and AI
FOSSACS: Logic, Model Checking, Formal Specifications
RUST

Leonardo de Moura: The Lean Programming Language and Theorem Prover (Invited Tutorial)

TACAS: Software Verification
FASE: Advanced SW Development
FOSSACS: Automata, Games, Concurrency Models
SV-Comp
RUST

Einar Broch Johnsen: Formal Methods meet Digital Twins: Challenges and Opportunities

TACAS: Probabilistic Model Checking & Software Testing
ESOP: Concurrency
FASE: Autonomous Systems/Applications
FOSSACS: Kleene Algebra, Expressions, String Diagrams, Categorical Logic
RUST

Ask-Me-Anything Session

ETAPS Awards Talks

TACAS: SAT/SMT I
ESOP: Semantics & Compilation
FASE: Testing and Verification
FOSSACS: Category Theory, Coalgebra, Metric Systems
RUST

Monika Henzinger: Guarding Privacy Over Time: Challenges and Solutions in Continuous Data Observation

TACAS: Automata
ESOP: Verification
FOSSACS: Lambda-Calculus, Program Semantics, Infinite Structures
SPIN
Industry Day

ETAPS General Assembly

Mieke Massink: Model Checking in Space with Applications to Medical Image Analysis (Invited Tutorial)
Industry Day

Tool Demos (with Coffee Break)
Industry Day

ESOP: Types
TACAS: Static Analysis & Program Verification
AE Reports (30mins)
Industry Day
SPIN

Guy Van Den Broeck: Symbolic Reasoning in the Age of Large Language Models

TACAS: CPS & Quantum
ESOP: Analysis
SPIN

TACAS: Model Checking & Hardware Verification
Diversity, Equity, and Inclusion
TEST-COMP
SPIN

TACAS: SAT/SMT II
SV-Comp and Test-Comp Community Building
SPIN