Ina Schaefer: Correctness-by-Construction—Past, Present and Future (unifying speaker)

FASE: AI and Software Quality
TACAS: Program Analysis
FOSSACS: Games and Logics
RUST WORKSHOP

TACAS: ATP & Rewriting
FOSSACS: Bisimulations
SV-COMP
Diversity & Inclusion
RUST WORKSHOP

TACAS: Model checking
Suguman Bansal (Invited Tutorial)
SV-COMP
RUST WORKSHOP

José Meseguer: Capturing System Designs with Formal Executable Specifications (FASE invited speaker)

TACAS: LTL
ESOP: Types
FASE: MDE
FOSSACS: Semantics
RUST WORKSHOP

TACAS: Verification I
ESOP: Static Analysis
FASE: Fundamentals
RUST WORKSHOP
Ask-me-anything

TACAS: SAT/SMT
Arun Ross (Invited Tutorial)
RUST WORKSHOP

Amal Ahmed: Prose No More: Formally Specifying ABIs using Realistic Realizability (ESOP invited speaker)

TACAS: Proofs and certificates
ESOP: Semantics
FOSSACS: Time and Concurrency
SPIN
INDUSTRY DAY

ETAPS General Assembly

TACAS: Synthesis
ESOP: Concurrency 1
SPIN
INDUSTRY DAY
Tool Demo Session

TACAS: Equivalence checking
ESOP: Fresh Perspectives
FOSSACS: Programs
SPIN
INDUSTRY DAY

Matt Dwyer: Leveraging Abstractions for Validation of Machine Learning Models (unifying speaker)

TACAS: Games
ESOP: Probabilistic Programming
SPIN

TACAS: Verification II
ESOP: Verification
SPIN
Award Winner Presentations

TACAS: Quantum & GPU
ESOP: Concurrency 2
Test-Comp