ETAPS Conferences

@ETAPSconf@mastodon.education
103 Followers
3 Following
157 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/

homepagehttps://etaps.org

A new blog post is out:
https://etaps.org/blog/034-yotam-feldman/

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

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

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

ETAPS Joint Call for Papers

Torino, Italy, April 11–16, 2026

Finally, results of the VerifyThis competition are up: https://www.pm.inf.ethz.ch/research/verifythis/Prizes.html
Latest Awards

Programming Methodology Group
Jan Kofron has been elected as the first ETAPS fellow
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.
A few last announcements from ETAPS 2025

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

Photo credit: Natasha Lawford

Congratulations to all the award winners!
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!
A few moments from last night's ETAPS 2025 banquet. Award photos coming soon!
Photo credits 📸: Natasha Lawford