ETAPS 2014
Date: Apr 05, 2014 1:00 am – Apr 13, 2014 11:00 am
Location: Grenoble, France
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 seventeenth edition, ETAPS 2014, will take place in Grenoble, France.
This is the first time that ETAPS returns to a city where it has already been. ETAPS 2002 was also held here.
Invited Speakers
UNIFYING Invited Speaker:
Robert Harper (Carnegie Mellon University, US)
UNIFYING Invited Speaker:
John Launchbury (Galois, US)
CC 2014 Invited Speaker:
Benoit Dupont de Dinechin (Kalray, France)
ESOP 2014 Invited Speaker:
Maurice Herlihy (Brown University, US)
FASE 2014 Invited Speaker:
Christel Baier (Technical University of Dresden, Germany)
FOSSACS 2014 Invited Speaker:
Petr Jančar (Technical Univ of Ostrava, Czech Republic)
POST 2014 Invited Speaker:
David Mazières (Stanford University, US)
TACAS 2014 Invited Speaker:
Orna Kupferman (Hebrew University Jerusalem, Israel)
Organizers
Submitted by Anonymous
on
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 seventeenth edition, ETAPS 2014, will take place in Grenoble, France.
This is the first time that ETAPS returns to a city where it has already been. ETAPS 2002 was also held here.
Invited Speakers
UNIFYING Invited Speaker:
Robert Harper (Carnegie Mellon University, US)
UNIFYING Invited Speaker:
John Launchbury (Galois, US)
CC 2014 Invited Speaker:
Benoit Dupont de Dinechin (Kalray, France)
ESOP 2014 Invited Speaker:
Maurice Herlihy (Brown University, US)
FASE 2014 Invited Speaker:
Christel Baier (Technical University of Dresden, Germany)
FOSSACS 2014 Invited Speaker:
Petr Jančar (Technical Univ of Ostrava, Czech Republic)
POST 2014 Invited Speaker:
David Mazières (Stanford University, US)
TACAS 2014 Invited Speaker:
Orna Kupferman (Hebrew University Jerusalem, Israel)
Organizers