ETAPS conferences

@etapsconf.bsky.social

87 Followers 24 Following

ETAPS International Joint Conferences On Theory & Practice Of Software. The ETAPS conferences are ESOP, FoSSaCS, iFS, and TACAS. ETAPS 2027: April 10–15, Copenhagen, Denmark https://etaps.org

Laura Kovács is giving an invited talk
Sebastian Junges speaks in a Spin session
Guy van den Broeck is giving a talk
Eva Darulova gives a talk
Monika Henzinger gives a talk
AMA panelists under a welcome slide
Einar Broch Johnsen gives a talk
Leo de Moura giving a talk
Luigia Petre giving a talk
Christel Baier is giving her keynote talk
A talk of the ETAPS Mentoring Workshop.
Marieke Huisman is closing the conference, the city of Torino is shown on the slide above her.
Matt Dwyer is giving his keynote talk.
Matt Dwyer is giving his keynote talk.
Photo of Ina Schaefer talking behind a speaker desk.
Marieke Huisman starting the main conference
Slide saying "ETAPS Poster Book, Collection of posters presented at ETAPS 2025, Hamilton, May 3–8, 2025" with the colour ETAPS logo on the left-hand side.
Roulette wheel selecting different foods
Headshot images of the 6 ETAPS invited speakers