ETAPS 2018

 

Welcome to ETAPS 2018!

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

 

Gold Sponsors



 

 

 

Other Sponsors


 

 

Exhibitors

Who's online

We have 77 guests and no members online

Site Hosted by