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
Organizing Committee
Steering Committee
Executive Board
Mentoring Workshop
Speakers
Mentors
Organizers
Mooly Fest
Organizing Committee
Posters
Organizers
TOOLympics
Organizers
Workshops
Organizing Committee
Contributors
People Index
Co-hosted Conferences
ESOP
ESOP 2019
Program Committee
FASE
FASE 2019
Program Committee
FOSSACS
FOSSACS 2019
Invited Speaker
FOSSACS 2019
Program Committee
POST
POST 2019
Program Committee
TACAS
TACAS 2019
Program Committee
TACAS 2019
Artifact Evaluation Committee
TACAS 2019
Steering Committee
Workshops
BEHAPI
BEHAPI
Organizing Committee
BEHAPI
Program Committee
CREST
CREST
Invited Speakers
CREST
Program Committee
DICE-FOPARA
DICE-FOPARA
Program Committee
DICE-FOPARA
Steering Committe (FOPARA)
DICE-FOPARA
Steering Committee (DICE)
GaLoP
GaLoP
Program Committee
GaLoP
Steering Committee
HCVS
HCVS
Invited Speakers
HCVS
Organizing Committee
HCVS
Program Committee
HSB
HSB
Organizing Committee
HSB
Program Committee
InterAVT
InterAVT
Organizing Committee
InterAVT
Program Committee
LiVe
LiVe
Program Committee
MeTRiD
MeTRiD
Organizing Committee
MeTRiD
Program Committee
PERR
PERR
Organizing Committee
PERR
Program Committee
PLACES
PLACES
Organizing Committee
PLACES
Program Committee
QAPL
QAPL
Organizing Committee
QAPL
Steering Committee
SPIoT
SPIoT
Organizing Committee
SPIoT
Program Committee
SYNT Camp
SYNT Camp
Organizing Committee
SYNT Camp
Program Committee
SynCoP
SynCoP
Organizing Committee
SynCoP
Steering Committee (and PC)
VerifyThis
VerifyThis
Organizing Committee
Search
Series
Sign in
Sign up
ETAPS 2019
(
series
) /
InterAVT 2019 (
series
) /
Interactive Workshop on the Industrial Application of Verification and Testing
/
Program Committee
InterAVT
Mathieu Acher
Alessandra Bagnato
Softeam
Cinzia Bernardeshi
Univ. of Pisa
Italy
Dirk Beyer
LMU Munich
Germany
Armin Biere
Johannes Kepler University Linz
Austria
Jorg Brauer
Verified Systems
Germany
Jeremy Bryans
Coventry University
Maxime Cordy
SnT, University of Luxembourg
Marco Dinatale
Scuole Santa Anna
Italy
Alessandro Fantechi
University of Florence
Italy
Alberto Griggio
Fondazione Bruno Kessler
Italy
Klaus Havelund
NASA/Caltech Jet Propulsion Laboratory
United States
Patrick Heymans
University of Namur
Belgium
Radu Iosif
VERIMAG, CNRS, Université Grenoble-Alpes
France
Mikoláš Janota
INESC-ID, IST, ULisboa
Portugal
Stefan Leue
University of Konstanz
Germany
Tiziana Margaria
University of Limerick and Lero - The Irish Software Research Centre
Ireland
Anastasia Mavridou
NASA Ames
David Parker
University of Birmingham
United Kingdom
Ken Pierce
The University of Newcastle
Stavros Tripakis
Northeastern University
United States
Anthony Ventresque
Lero and University College Dublin
Ireland
Tomas Vojnar
Brno University of Technology
Czech Republic
Maurice ter Beek
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
Italy
x
Sat 7 Dec 07:38