Welcome to ETAPS 2017!

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 twentieth edition, ETAPS 2017, will take place in Uppsala, Sweden. This is the first time that ETAPS goes to Scandinavia.

ETAPS Photos
(please feel free to add pictures!)
Videos of the invited talks

Invited Speakers

• Dino Distefano (Facebook and Queen Mary University)
• Michael Ernst (University of Washington)
• Kim G. Larsen (Aalborg University)
  
• Joël Ouaknine (University of Oxford and MPI-SWS Saarbrücken)

In addition, ETAPS will feature a public lecture by Serge Abiteboul (INRIA, ENS Cachan), and invited tutorials by Véronique Cortier (CNRS, France) and Kenneth McMilllan (MSR Redmond). More information.

Important Dates

• Abstracts due: 14 October 2016
• Papers due: 21 October 2016
• Author notification: 22 December 2016
• Camera-ready versions: 20 January 2017
• Conference: 22-29 April 2017

See the call for papers for more details.