ETAPS Conferences

@[email protected]
113 Followers
3 Following
176 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 Conferences13h ago

New blog post!

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

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

ETAPS ConferencesMar 16

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/

ETAPS ConferencesMar 10
The future of automated reasoning? Leo de Moura has the answers (maybe), in our latest blog post:
https://etaps.org/blog/043-leo-de-moura/
ETAPS ConferencesFeb 23
Just a few more weeks until the early registration deadline (March 10th), so time to start planning your travel (if you haven't already), and reading our ETAPS blog on Turin:
https://etaps.org/blog/042-turin/
ETAPS 2026 in Turin, Italy

Learn about the ETAPS 2026 host city and the venue!

ETAPS ConferencesJan 25

New Blog Post Alert!

Model Checking Goes Spatial with Mieke Massink:
https://etaps.org/blog/041-mieke-massink/

ETAPS ConferencesJan 16
The call for nominations for the ETAPS Test of Time Award is now open!
https://etaps.org/awards/test-of-time/
Test of Time Award

Award given to outstanding papers published at ETAPS more than ten years ago.

Show threadETAPS ConferencesDec 18
@gadmm @jesper @mevenlennonbertrand The cost is €180 per paper, and we do not specifically allocate this in registration fees. The numbers of accepted and published papers slightly differ each year, but roughly, it is around €60 per participant (lot of non-authors come regularly).
Show threadETAPS ConferencesDec 18
@gadmm @jesper @mevenlennonbertrand What kind of info are you actually interested in? How do we cover ACP? We basically do not charge the authors, but cover the proceeding costs from the budget every year (i.e. mostly registration fees). As to the amount, we have a custom contract with Springer that specifies the cost per paper, next to other things. If you would like to know more, let me know!
ETAPS ConferencesDec 1
Information about the ETAPS 2026 venue is now up on the website: https://etaps.org/2026/attending/
ETAPS ConferencesNov 20

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/