ETAPS
All Editions
Sat 6 - Thu 11 April 2019 Prague, Czech RepublicETAPS 2019with ESOP 2019, FASE 2019, FOSSACS 2019, POST 2019, TACAS 2019, BEHAPI 2019, CREST 2019, DICE-FOPARA 2019, GaLoP 2019, HCVS 2019, HSB 2019, InterAVT 2019, LiVe 2019, MeTRiD 2019, PERR 2019, PLACES 2019, QAPL 2019, SPIoT 2019, SYNT Camp 2019, SynCoP 2019, VerifyThis 2019The European Joint Conferences on Theory and Practice of Software 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 17 satellite workshops and other events including, for the first time this year, a mentoring worksh ... |
Steering Committee (ETAPS 2019)
Marieke Huisman
University of Twente
Netherlands
Alessandra Russo
Imperial College London
United Kingdom
Wil van der Aalst
RWTH Aachen
Germany
Parosh Aziz Abdulla
Uppsala University
Sweden
Panagiotis Katsaros
ITI-CERTH, Thessaloniki
Greece
Dave Sands
Chalmers
Sweden
Amal Ahmed
Northeastern University, USA
United States
Ralf Küsters
University of Stuttgart
Don Sannella
University of Edinburgh
United Kingdom
Christel Baier
TU Dresden, Germany
Germany
Ugo Dal Lago
University of Bologna / Inria
Italy
Andy Schürr
TU Darmstadt
Lujo Bauer
Carnegie Mellon University
United States
Kim Larsen
Aalborg University
Denmark
Alex Simpson
University of Ljubljana
Slovenia
Dirk Beyer
LMU Munich
Germany
Matteo Maffei
TU Wien
Gabriele Taentzer
Universität Marburg
Germany
Mikolaj Bojanczyk
University of Warsaw
Poland
Tiziana Margaria
University of Limerick and Lero - The Irish Software Research Centre
Ireland
Peter Thiemann
University of Freiburg, Germany
Luís Caires
NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa
Portugal
Flemming Nielson
Technical University of Denmark
Denmark
Jan Vitek
Northeastern University and Czech Technical University
United States
Jurriaan Hage
Utrecht University
Catuscia Palamidessi
INRIA and LIX
Tomáš Vojnar
Brno University of Technology
Czechia
Reiner Hähnle
Technical University of Darmstadt
Germany
Andrew M. Pitts
University of Cambridge
Anton Wijs
Eindhoven University of Technology
Netherlands
Reiko Heckel
University of Leicester
United Kingdom
Lijun Zhang
Chinese Academy of Sciences
China