ETAPS Conferences

@ETAPSconf@mastodon.education
108 Followers
3 Following
170 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
Show threadETAPS Conferences2d ago
@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 Conferences2d ago
@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/

ETAPS ConferencesNov 6

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/

ETAPS ConferencesOct 13

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

ETAPS ConferencesSep 24

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/

ETAPS ConferencesSep 10
SPIN and the Rust Verification Workshop both officially confirmed to be co-located with ETAPS next year. More info here: https://etaps.org/2026/collocated-events/
Collocated Events

List of events collocated with ETAPS 2026.

ETAPS ConferencesAug 21
New blog post: an interview with Kevin Batz, winner of the ETAPS 2025 dissertation award.
https://etaps.org/blog/037-kevin-batz/
ETAPS ConferencesAug 8
Should we be worried about AI? A new blog post with Phil Wadler: https://etaps.org/blog/036-phil-wadler/