ETAPS 2015

Date: Sep 16, 2014 1:30 pm – Sep 16, 2014 2:30 pm
Location: London, UK

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 six main annual conferences (CC, ESOP, FASE, FoSSaCS, POST and TACAS) accompanied by satellite workshops and other events.

The eighteenth edition, ETAPS 2015, will take place in London, UK. The venue will be Queen Mary University of London.

Unifying speakers:

  • Robert Harper (Carnegie Mellon University, USA)
  • Catuscia Palamidessi (INRIA Saclay and LIX, France)

CC invited speaker:

  • Keshav Pingali (University of Texas, USA)

FoSSaCS invited speaker:

  • Frank Pfenning (Carnegie Mellon University, USA)

TACAS invited speaker:

  • Wang Yi (Uppsala University, Sweden)
  • CPS Technologies
  • Embedded Software
  • Conference
  • 2015
Submitted by Anonymous on