ETAPS 2018

Welcome to ETAPS 2018!

Proceedings are available

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

Awards for the VerifyThis program verification are announced


Ilya Grishchenko, Matteo Maffei and Clara Schneidewind with their paper:
A Semantic Framework for the Security Analysis of Ethereum smart contracts


Sergey Goncharov, Lutz Schroder with their paper:
Guarded Traced Symmetric Monoidal Categories


Márton Búr, Gábor Szilágyi, András Vörös and Daniel Varro with their paper:
Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems

Test of Time Award

Nikolaj Bjørner and Leonardo De Moura with their paper (published in TACAS 2008):
Z3: An Efficient SMT Solver.

Congratulations to the winners!

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.


  • 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


Gold Sponsors




Other Sponsors




Who's online

We have 126 guests and no members online

Site Hosted by