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
) /
FOSSACS 2019 (
series
) /
FOSSACS 2019
/
Program Committee
FOSSACS
Mikolaj Bojanczyk
Co-chair
University of Warsaw
Poland
Alex Simpson
Co-chair
University of Ljubljana
Slovenia
Luca Aceto
Gran Sasso Science Institute
Italy
Achim Blumensath
Masaryk University
Czechia
Agata Ciabattoni
TU Wien
Austria
Flavio Corradini
University of Camerino
Italy
Nathanaël Fijalkow
CNRS, LaBRI, and Alan Turing Institute
France
Sergey Goncharov
FAU Erlangen-Nürnberg, Lehrstuhl 8
Germany
Matthew Hague
Royal Holloway, University of London
United Kingdom
Chris Heunen
University of Edinburgh
United Kingdom
Patricia Johann
Appalachian State University
United States
Bartek Klin
University of Warsaw
Poland
Naoki Kobayashi
University of Tokyo, Japan
Japan
Dexter Kozen
Cornell
United States
K Narayan Kumar
Chennai Mathematical Institute
India
Orna Kupferman
Hebrew University
Israel
Peter Lefanu Lumsdaine
Stockholm University
Sweden
Paul Blain Levy
University of Birmingham
United Kingdom
Radu Mardare
Aalborg University
Denmark
Angelo Montanari
University of Udine
Italy
Anca Muscholl
Université de Bordeaux / LaBRI
France
Rasmus Ejlers Møgelberg
IT University of Copenhagen
Denmark
Dirk Pattinson
Australian National University
Australia
Daniela Petrisan
IRIF, Université Paris Diderot
France
Davide Sangiorgi
University of Bologna
Italy
Ana Sokolova
University of Salzburg
Austria
James Worrell
University of Oxford
United Kingdom
x
Thu 21 Nov 09:51
