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
ETAPS 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
) /
TACAS 2019 (
series
) /
TACAS 2019
/
Program Committee
TACAS
Tomáš Vojnar
Co-chair
Brno University of Technology
Czechia
Lijun Zhang
Co-chair
Chinese Academy of Sciences
China
Marius Mikucionis
Tools Chair
Aalborg University
Denmark
Radu Grosu
Case Study Chair
Vienna University of Technology
Austria
Dirk Beyer
Competition chair
LMU Munich
Germany
Parosh Aziz Abdulla
Uppsala University
Sweden
Armin Biere
Johannes Kepler University Linz
Austria
Ahmed Bouajjani
IRIF, Université Paris Diderot
France
Patricia Bouyer
LSV, CNRS & ENS Cachan, University Paris Saclay
France
Yu-Fang Chen
Academia Sinica
Taiwan
Maria Christakis
MPI-SWS
Germany
Alessandro Cimatti
Fondazione Bruno Kessler
Italy
Rance Cleaveland
University of Maryland
United States
Pierre Ganty
IMDEA Software Institute
Spain
Orna Grumberg
Technion – Israel Institute of Technology
Israel
Klaus Havelund
NASA/Caltech Jet Propulsion Laboratory
United States
Holger Hermanns
Saarland University
Germany
Falk Howar
Technical University Dortmund
Germany
Marieke Huisman
University of Twente
Netherlands
Radu Iosif
VERIMAG, CNRS, Université Grenoble-Alpes
France
Joxan Jaffar
National University of Singapore
Singapore
Stefan Kiefer
University of Oxford
United Kingdom
Jan Kretinsky
Technical University of Munich
Germany
Salvatore La Torre
Università degli Studi di Salerno
Italy
Kim Larsen
Aalborg University
Denmark
Annabelle McIver
Macquarie University
Australia
Roland Meyer
Technical University of Braunschweig
Germany
Sebastian A. Moedersheim
Technical University of Denmark
Denmark
David Parker
University of Birmingham
United Kingdom
Corina S. Păsăreanu
NASA Ames Research Center
United States
Sanjit Seshia
University of California, Berkeley
United States
Parasara Sridhar Duggirala
University of Connecticut
United States
Bernhard Steffen
Technical University Dortmund
Germany
Jan Strejcek
Masaryk University
Czechia
Zhendong Su
ETH Zurich
Switzerland
Meng Sun
Peking University
China
Michael Tautschnig
Amazon Web Services
United Kingdom
Thomas Wies
New York University
United States
Florian Zuleger
Vienna University of Technology
Austria
Leonardo de Moura
Microsoft Research
United States
x
Sat 21 Dec 13:06