A new-old software engineering and formal methods conference on the block: https://etaps.org/blog/051-ifs/

@ETAPSconf #etaps27 #ifs27 #ifs

Due to the shutdown of mastodon.education, ETAPS has moved to a new Mastodon account:

mastodon.social/@ETAPSconf

Please follow us here for the latest ETAPS news, announcements, and updates. We would appreciate boosts to help our community find the new account.

Is anybody I know going to **CMCS (Coalgebraic Methods in Computer Science)** in Turin this year? It is co-located with @ETAPSconf@mastodon.education.

On Saturday 11 at 15:00 (local time), I'll be presenting a short contribution by Sergey Goncharov, @mperessotti@mastodon.social […]

@ETAPSconf should inaugurate a “programming pearls” track and call it “ESOP fables”.

The list of accepted papers for #FMBC26 is published. Thanks to all the authors and looking forward to interesting talks and discussions at #FMBC26 @ETAPSconf

fmbc.gitlab.io/2026/accepte...

Submission deadline for ETAPS main conferences ESOP (round 2), FASE, FoSSaCS, and TACAS is on Oct 16 (AoE). Do not miss it!

etaps.org/2026/cfp/

#etaps #etapsconf #etaps2026