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
) /
HSB 2019 (
series
) /
6th Workshop on Hybrid Systems & Biology
/
Program Committee
HSB
Alessandro Abate
University of Oxford
United Kingdom
Frank Allgower
University of Stuttgart
Germany
Ezio Bartocci
Technische Universität Wien
Sergiy Bogomolov
Australian National University
Australia
Luca Bortolussi
University of Trieste
Italy
Giulio Caravagna
Institute of Cancer Research
United Kingdom
Luca Cardelli
Microsoft Research and University of Oxford
United Kingdom
Milan Ceska
Brno University of Technology
Czechia
Michela Chiappalone
Italian Institute of Technology
Italy
Elizabeth Cherry
Rochester Institute of Technology
United States
Eugenio Cinquemani
INRIA, Grenoble
France
Neil Dalchau
Microsoft Research
United Kingdom
Thao Dang
CNRS/VERIMAG
France
Hidde De Jong
INRIA Grenoble - Rhone-Alpes
France
Tommaso Dreossi
University of California at Berkeley
United States
François Fages
Inria Saclay - Ile de France
France
Eric Fanchon
CNRS, TIMC-IMAG
France
Jerome Feret
INRIA Paris
France
Giulia Giordano
TU Delft
Netherlands
Ádám Halász
West Virginia University
United States
Jane Hillston
University of Edinburgh
United Kingdom
Agung Julius
Rensselaer Polytechnic Institute
United States
Hillel Kugler
Microsoft
United States
Luca Laurenti
University of Oxford
United Kingdom
Chris Myers
University of Utah
United States
Laura Nenzi
University of Trieste
Italy
Miroslav Pajic
Duke University
United States
Nicola Paoletti
Royal Holloway, University of London, UK
Ion Petre
Åbo Akademi University
Finland
Tatjana Petrov
Universität Konstanz
Germany
Carla Piazza
University of Udine
Italy
David Safranek
Masaryk University
Czechia
Guido Sanguinetti
University of Edinburgh
United Kingdom
Sriram Sankaranarayanan
University of Colorado, Boulder
United States
Abhyudai Singh
University of Delaware
United States
Kateřina Staňková
Maastricht University
Netherlands
James Weimer
University of Pennsylvania, USA
Verena Wolf
Saarland University
Germany
Boyan Yordanov
Microsoft Research
United Kingdom
Paolo Zuliani
Newcastle University
United Kingdom
x
Thu 21 Nov 09:38