ETAPS 2019
Sat 6 - Thu 11 April 2019
Prague, Czech Republic
Toggle navigation
About
Venue: Orea Hotel Pyramida
Venue: Charles University
Venue: Stará zbrojnice
Banquet Venue: Břevnovský klášter
Accommodation
Registration
Travel
Food
Social Events
Conferences
Scholarships
Proceedings
Awards
Conduct
ETAPS'19 Photos
Program
Complete Program
Your Program
Sat 6 Apr
Sun 7 Apr
Mon 8 Apr
Tue 9 Apr
Wed 10 Apr
Thu 11 Apr
Conferences
ETAPS 2019
Keynotes
Mentoring Workshop
Mooly Fest
Posters
Social
Student Volunteers
TOOLympics
Tutorials
Workshops
Co-hosted Conferences
ESOP
FASE
FOSSACS
POST
TACAS
Workshops
BEHAPI
CREST
DICE-FOPARA
GaLoP
HCVS
HSB
InterAVT
LiVe
MeTRiD
PERR
PLACES
QAPL
SPIoT
SYNT Camp
SynCoP
VerifyThis
Organization
ETAPS 2019 Committees
Organizing Committee
Steering Committee
Executive Board
Track Committees
Mentoring Workshop
Speakers
Mentors
Organizers
Mooly Fest
Posters
TOOLympics
Workshops
Contributors
People Index
Co-hosted Conferences
ESOP
Program Committee
FASE
Program Committee
FOSSACS
Invited Speaker
Program Committee
POST
Program Committee
TACAS
Program Committee
Artifact Evaluation Committee
Steering Committee
Workshops
BEHAPI
Organizing Committee
Program Committee
CREST
Invited Speakers
Program Committee
DICE-FOPARA
Program Committee
Steering Committe (FOPARA)
Steering Committee (DICE)
GaLoP
Program Committee
Steering Committee
HCVS
Invited Speakers
Organizing Committee
Program Committee
HSB
Organizing Committee
Program Committee
InterAVT
Organizing Committee
Program Committee
LiVe
Program Committee
MeTRiD
Organizing Committee
Program Committee
PERR
Organizing Committee
Program Committee
PLACES
Organizing Committee
Program Committee
QAPL
Organizing Committee
Steering Committee
SPIoT
Organizing Committee
Program Committee
SYNT Camp
Organizing Committee
Program Committee
SynCoP
Organizing Committee
Steering Committee (and PC)
VerifyThis
Organizing Committee
Search
Series
Sign in
Sign up
ETAPS 2019
(
series
) /
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
x
Mon 14 Oct 16:19