ETAPS Conferences

@[email protected]
125 Followers
3 Following
202 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 Conferences3d ago
Raúl Pardo5d ago

📢 Call for satellite events — ETAPS 2027

📌 Important dates
🗓 Proposal deadline: June 26, 2026
📬 Notification of acceptance: July 9, 2026

More details are available in the call:
🔗 https://etaps.org/2027/sat-events/call/

@ETAPSconf

Call For Satellite Events

ETAPS 2027, Copenhagen, Denmark, April 10–15, 2027

ETAPS Conferences3d ago
Show threadAndrzej Wąsowski 🟥3d ago
@ETAPSconf
And this time around there is an extra bonus. Your event will be held in the coolest city in the world, in the very building where I work 😊
ETAPS Conferences5d ago

Call for ETAPS 2027 satellite events is out! Apply by June 26!

https://etaps.org/2027/sat-events/call/

Call For Satellite Events

ETAPS 2027, Copenhagen, Denmark, April 10–15, 2027

ETAPS ConferencesApr 30

New blog post about the Diversity, Equity, and Inclusion session held at ETAPS 2026 is out!

https://etaps.org/blog/048-dei-2026/

Diversity, Equity, and Inclusion: The Importance of Belonging

Report on the Diversity, Equity and Inclusion session held at ETAPS 2026 in Turin.

ETAPS ConferencesApr 27
The photos from ETAPS are up on the website https://etaps.community/association/gallery/2026/
ETAPS ConferencesApr 21

The ETAPS 2027 Joint Call for Papers is out! Check the deadlines, especially the first ESOP submission deadline set to May 28, 2026!

https://etaps.org/2027/cfp/

ETAPS Joint Call for Papers

Copenhagen, Denmark, April 10–15, 2027

ETAPS ConferencesApr 20
Congratulations to the winner of the 8th International Competition on Software Testing (Test-Comp 2026) Kaled Alshmrany (FuSeBMC) in the categories C.Overall, C.Cover-Branches and C.Cover-Error!
ETAPS ConferencesApr 16
Laura Kovács - a SPIN invited speaker - talks about learning and proving invariants.
ETAPS ConferencesApr 16
Sebastian Junges is just talking about stochastic model checking as a Spin invited speaker.
ETAPS ConferencesApr 16
The last day of ETAPS 2026 is starting! Our keynote speaker Guy van den Broeck speaks about symbolic reasoning in the times of LLMs.