The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP.
ETAPS 2026: April 11 - 16, Turin, Italy
| homepage | https://etaps.org |
New blog post!
Peter Mueller and Rustan Leino talk about their 2025 Test of Time Award
The Summer School on Foundations of Programming and Software Systems (FoPSS) will be co-located with FloC this summer. Registration details will be up soon:
New Blog Post Alert!
Model Checking Goes Spatial with Mieke Massink:
https://etaps.org/blog/041-mieke-massink/
What makes a tool like CBMC successful? And is software model checking still relevant in the age of LLMs? This month's blog is an interview with Peter Schrammel, Michael Tautschnig and Daniel Kroening, winners of the Rance Cleaveland Test of Time Tool Award at ETAPS 2025.
This months blog post is a throw-back to ETAPS 2025. We sat down and interviewed two of the attendees of the ETAPS mentoring workshop and asked them what it was all about, and what advice they would give to PhD students attending ETAPS in the future.
Submission deadline for ETAPS main conferences ESOP (round 2), FASE, FoSSaCS, and TACAS is on Oct 16 (AoE). Do not miss it!
