ETAPS 2018

Welcome to ETAPS 2018!

Invited Speaker speeches are available to view online

ETAPS 2018 Photos
14/15 Apr 16 Apr 17 Apr 18 Apr Dinner 19 Apr 20 Apr

The European Joint Conferences on Theory and Practice of Software (ETAPS) is the primary European forum for academic and industrial researchers working on topics relating to Software Science.

ETAPS, established in 1998, is a confederation of five main annual conferences (ESOP, FASE, FOSSACS, POST and TACAS) accompanied by satellite workshops and other events.

The twenty-first edition, ETAPS 2018, will take place in Thessaloniki, Greece.

Aristotle, the father of formal logic, was born 55 km southeast of Thessaloniki and taught in the wider area of Macedonia.

News

19 Apr, 2018 - Awards for the VerifyThis program verification are announced.
14 Apr, 2018 - Proceedings are now available, click here for more information.
4 Apr, 2018 - View Important Information as sent via e-mail
27 Mar, 2018 - Program has been updated
15 Mar, 2018 - Social Events information has been added.
12 Mar, 2018 - The Student Scholarschips deadline has been extended to the 14th of March, 2018. Click here for more information.
26 Feb, 2018 - The main conference programme has been announced. Click here for more information.
22 Feb, 2018 - A limited number of student scholarships, in particular for students who are co-author of a paper of one of the main ETAPS conferences, is made available by the ETAPS association. More information can be found here.
10 Jan, 2018 - Registration now open
09 Jan, 2018 - Workshops schedule updated
02 Jan, 2018 - Accepted papers added
27 Dec, 2017 - Main conference dates adjusted (now 16 - 19 Apr, 2018)
24 Apr, 2017 - POST information updated
24 Apr, 2017 - FoSSaCS information updated
24 Apr, 2017 - Organizers information added
24 Apr, 2017 - Invited Speaker initial information added
26 Jan, 2017 - Venue information added