New blog post!

Peter Mueller and Rustan Leino talk about their 2025 Test of Time Award

[1] https://etaps.org/blog/045-tot-2025/

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:

https://lcaires.github.io/fopps2026/

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.

https://etaps.org/blog/040-totta-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.

https://etaps.org/blog/039-emw-2025/

Submission deadline for ETAPS main conferences ESOP (round 2), FASE, FoSSaCS, and TACAS is on Oct 16 (AoE). Do not miss it!

https://etaps.org/2026/cfp/

#etaps #etapsconf #etaps2026

The final tutorial speaker for ETAPS 2026 is announced: Mieke Massink from CNR-ISTI will talk about Model Checking in Space with applications to medical image analysis.

https://etaps.org/2026/speakers/mieke-massink/