ETAPS Conferences (now on other platforms)

We aren't here; find us on BlueSky, Mastodon, Facebook or Linkedin.

Or in person, at ETAPS 2026: April 11 - 16, Torino, Italy

[ETAPS Conferences (now on other platforms) @ETAPSconf]

ETAPS conference updates are happening on all the other social media platforms, but not here.

[ETAPS Conferences (now on other platforms) @ETAPSconf]

Quick reminder that ETAPS isn't posting here any more. If you want to see our up to date posts (including scheduling announcements during the conference), you should follow us on the other apps listed in our bio.

[Aptos Labs @AptosLabs]

Watch out. @wgrieskamp is heading to the Formal Methods for Blockchains Conference during @ETAPSconf 2025 to deliver a keynote on his latest research 🌐

We're proud to ship bold tech and collaborate with the global blockchain community.

Big insights incoming 👀

[ICSE @ICSEconf]

Attending or planning to attend #icse2025 from April 27-May 3 in Ottawa? Why not extend your visit to Canada and attend @ETAPSconf taking place the next week from May 3-8 in Hamilton.
#icse2025 Registration: https://t.co/abCLhjV8KX
#etaps2025 Registration: https://t.co/N8YVXmi6cB

[ETAPS Conferences (now on other platforms) @ETAPSconf]

https://t.co/qHs5khyOoz

[ETAPS Conferences (now on other platforms) @ETAPSconf]

We will no longer be posting to the X account for ETAPS. Thank you to everyone who has followed us through X in recent years; we hope you will follow us on Mastodon or BlueSky, or join the LinkedIn group. (links below)

[ETAPS Conferences (now on other platforms) @ETAPSconf]

https://t.co/XlzSQTiYXr

[ETAPS Conferences (now on other platforms) @ETAPSconf]

Submit your interesting academic or industry verification problems to the 2025 edition of the VerifyThis competition (co-located with ETAPS’25) by Feb. 7, 2025! For more information about the competition and submission process, see the call for problems:
https://t.co/2S2xY28YCj

[ETAPS Conferences (now on other platforms) @ETAPSconf]

Reminder that the ETAPS doctoral dissertation award nomination deadline is the 15th Jan! Please nominate your excellent students*

https://t.co/WOYqOw2ipv

*at eligible institutions, who completed their doctoral degree in 2024

[ETAPS Conferences (now on other platforms) @ETAPSconf]

Follow us here: https://t.co/xMJjjoPrVA

[ETAPS Conferences (now on other platforms) @ETAPSconf]

New year, new social media account. You can now find ETAPS on bluesky, under the same username.

[ETAPS Conferences (now on other platforms) @ETAPSconf]

Happy Christmas from everyone at ETAPS!

[ETAPS Conferences (now on other platforms) @ETAPSconf]

Why do we have research tool competitions? In our latest blog Dirk Beyer (@beyer_dirk), Arnd Hartmanns and Fabrice Kordon (@fabricekordon) talk about their motivation as organizers, and why competitions are important for the whole research community.
https://t.co/fbNL7CF0pG

[ETAPS Conferences (now on other platforms) @ETAPSconf]

Supervisors, has one of your students recently written an outstanding dissertation? Please nominate them for the ETAPS doctoral dissertation award*: https://t.co/WOYqOw2ipv

*provided they completed their degree at an eligible institution and submitted in 2024

[ETAPS Conferences (now on other platforms) @ETAPSconf]

Felienne Hermans (@Felienne ) talks diversity in part II of her interview on the ETAPS blog

https://t.co/yh9i5aPcIC

[ETAPS Conferences (now on other platforms) @ETAPSconf]

Did you know we have a blog? While our reviewers are beavering away reviewing your submissions, why not take some time to read some of our past posts on everything from education and software maintenance, to why academia is like sport.

https://t.co/VoG3n0lIWg

[ETAPS Conferences (now on other platforms) @ETAPSconf]

We are proud to announce invited speakers of ETAPS 2025: Amal Ahmed, Matthew B. Dwyer, José Meseguer, and Ina Schaefer.

https://t.co/Cw2Qeh6CGx

[ETAPS Conferences (now on other platforms) @ETAPSconf]

An interview with Roderick Bloem has just been published at our blog!

https://t.co/ZoMOrpwuvt

[ETAPS Conferences (now on other platforms) @ETAPSconf]

The deadline for submissions is still the 10th AoE (i.e., in ~2 hours), but submitted papers can now be polished until the 14th AoE