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
ETAPS ConferencesJun 6

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 ConferencesJun 4

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

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

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

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

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