Lars Birkedal: Higher-Order Probabilistic Relational Separation Logic (unifying speaker)

TACAS: SAT and SMT
TACAS: Synthesis
FASE: Runtime Approaches
Rust

TACAS: Proof Checking
FASE: System Comprehension
Rust
Competition of Software Verification (SV-COMP)
Diversity & Inclusion

TACAS: Logic and Decidability
Invited Tutorial
Rust
Competition of Software Verification (SV-COMP)

Sandrine Blazy: From Operational Semantics to Verified Compilation (unifying speaker)

FASE: Fuzzing and NIER
TACAS: Program Analysis and Proofs
FoSSaCS: Infinite games
Industry Day
Rust

TACAS: Model Checking
ESOP: Effects and Modal Types
FoSSaCS: Categorical semantics
Industry Day
Rust
Ask-me-anything

TACAS: Automata and Learning
Invited Tutorial
Industry Day
Rust

Jérôme Leroux: The Petri Net Reachability Problem (FoSSaCS invited speaker)

TACAS: Software Verification
ESOP: Domain-Specific Languages
FoSSaCS: Automata and Synthesis
Spin: Software Verification

ETAPS General Assembly

TACAS: Probabilistic Systems
ESOP: Bidirectional typing / Session types
FoSSaCS: Types and Programming Languages
Spin: Anniversary Track
Tool demo session

TACAS: Simulations
ESOP: Dependent Types
TACAS: Neural Networks
Spin: Automated Reasoning

Ruzica Piskac (TACAS invited speaker)

TACAS: Testing and Verification
ESOP: Verification and Analysis
FoSSaCS: Logic and Proofs
Spin: Verification Tools

TACAS: Games
ESOP: Verification
FoSSaCS: Infinite-State Systems
Spin: Model Checking
Award Winner Presentations

TACAS: Concurrency
ESOP: Abstract Interpretation
Competition on Software Testing (Test-Comp)