Lightnews — Scholar-powered news

ETAPS conferences

@etapsconf.bsky.social

75 followers 23 following 72 posts

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

etaps.org

Posts Media Videos Starter Packs

ETAPS conferences @etapsconf.bsky.social · 15d

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.

etaps.org/2026/speaker...

ETAPS conferences @etapsconf.bsky.social · 28d

SPIN and the Rust Verification Workshop both officially confirmed to be co-located with ETAPS next year. More info here: etaps.org/2026/colloca...

ETAPS conferences @etapsconf.bsky.social · Aug 21

New blog post: an interview with Kevin Batz, winner of the ETAPS 2025 dissertation award.
etaps.org/blog/037-kev...

ETAPS conferences @etapsconf.bsky.social · Aug 8

Should we be worried about AI? A new blog post with Phil Wadler: etaps.org/blog/036-phi...

Brave New Bullshit with Phil Wadler

Professor Philip Wadler on the hopes and threats of AI.

etaps.org

ETAPS conferences @etapsconf.bsky.social · Jul 23

We are delighted to announce the invited speakers for ETAPS 2026 in Turin: Christel Baier (TU Dresden), Monika Henzinger (IST Austria), Einar Broch Johnsen (University of Oslo), and Guy Van den Broeck (UCL, Los Angeles).
etaps.org/2026/speakers/

Invited Speakers

Unifying speakers and invited speakers of ETAPS conferences.

etaps.org

ETAPS conferences @etapsconf.bsky.social · Jun 20

New blog post: Eunsuk Kang talks about how to build resilience in academia. This is adapted from his fantastic talk at the ETAPS mentoring workshop last month.

etaps.org/blog/035-eun...

Building Resilience in Academia

Eunsuk Kang on resilience in academia.

etaps.org

ETAPS conferences @etapsconf.bsky.social · Jun 6

A new blog post is out:
etaps.org/blog/034-yot...

Yotam Feldman, winner of the 2024 ETAPS dissertation award, talks about his PhD research.

On the Theory of Learning Invariants

Interview with Yotam Feldman, the winner of the 2024 ETAPS Doctoral Dissertation Award.

etaps.org

2 5

ETAPS conferences @etapsconf.bsky.social · Jun 4

ETAPS 2026 might seem like a long way off, but the joint call for papers is now out! etaps.org/2026/cfp/

Get your papers ready for October for ESOP (round 2), TACAS, FoSSaCs and FASE

ETAPS conferences @etapsconf.bsky.social · May 23

Jan Kofron has been elected as the first ETAPS fellow

ETAPS conferences @etapsconf.bsky.social · May 23

We're pleased to announce Laura Kovacs has been elected as the new president of the ETAPS steering committee. Thank you to Marieke Huisman for all her work over the last few years.

1 1

ETAPS conferences @etapsconf.bsky.social · May 23

A few last announcements from ETAPS 2025

ETAPS conferences @etapsconf.bsky.social · May 19

The full set of photos from ETAPS are now up on the website (accessible by ETAPS members only):
etaps.community/association/...

Photo credit: Natasha Lawford

ETAPS conferences @etapsconf.bsky.social · May 9

Congratulations to all the award winners!

ETAPS conferences @etapsconf.bsky.social · May 8

ETAPS 2025 is over. Many thanks to organizers for a wonderful event and all the attendees for being there! See you at ETAPS 2026 in Torino!

Marieke Huisman is closing the conference, the city of Torino is shown on the slide above her.

ETAPS conferences @etapsconf.bsky.social · May 8

A few moments from last night's ETAPS 2025 banquet. Award photos coming soon!
Photo credits 📸: Natasha Lawford

1 2

ETAPS conferences @etapsconf.bsky.social · May 8

The final invited talk of ETAPS 2025 is just in progress. Matt Dwyer talks about validation of machine learning models.

ETAPS conferences @etapsconf.bsky.social · May 8

Reminder: boxed lunch. Collect it from the same place as the coffee breaks, but you can still eat in the same place as before.

ETAPS conferences @etapsconf.bsky.social · May 8

A fantastic start to the last day of ETAPS 2025 with our final keynote speaker, Matt Dwyer, presenting 'Leveraging Abstractions for Validation of Machine Learning Models.' Thank you for the insights and inspiration! #ETAPS2025 #McSCert
Photo credits 📸: Natasha Lawford

ETAPS conferences @etapsconf.bsky.social · May 8

Lunch today is a boxed lunch. You can still sit and eat in the same place as usual, but if you need to grab and go, feel free to do so

ETAPS conferences @etapsconf.bsky.social · May 8

The final invited talk of ETAPS 2025 is just in progress. Matt Dwyer talks about validation of machine learning models.

ETAPS conferences @etapsconf.bsky.social · May 8

(posts with photos to come later)

ETAPS conferences @etapsconf.bsky.social · May 8

And the best reviewer awards go to:
Peter Müller (ESOP)
Naoki Kobayashi (fossacs)
Andrian Rutle (FASE)
Alan Hu (Tacas)

ETAPS conferences @etapsconf.bsky.social · May 8

The test of time tool award goes to Daniel Kroening, Peter Schrammel, and Michael Tautschnig for their tool CBMC

ETAPS conferences @etapsconf.bsky.social · May 8

The test of time award goes to A Basis for Verifying Multi-threaded Programs by Rustan Leino and Peter Mueller, published at ESOP 2009

ETAPS conferences @etapsconf.bsky.social · May 8

The dissertation award this year goes to Kevin Batz for his thesis on Automated Deductive Verification of Probabilistic Programs.

Kevin was supervised by Joost-Pieter Katoen at RWTH Aachen University, Germany