Write a Blog >>
SPIN 2019
Mon 15 - Fri 19 July 2019
Beijing, China
co-located with
ISSTA 2019
Toggle navigation
Attending
Venue: Crowne Plaza Beijing Zhongguancun
ISSTA 2019
Visa
Excursion
Conduct
Registration
Transportation Instructions
Program
Complete Program
Your Program
Mon 15 Jul
Tue 16 Jul
Wed 17 Jul
Thu 18 Jul
Fri 19 Jul
Track/Call
Organization
SPIN 2019 Committees
Organizing Committee
Track Committees
Organizing Committee
Program Committee
Contributors
People Index
Search
Series
Series
SPIN 2021
SPIN 2019
SPIN 2017
Sign in
Sign up
ISSTA 2019
(
series
) /
SPIN 2019 (
series
) /
26th International SPIN Symposium on Model Checking of Software
/
Program Committee
SPIN
Axel Legay
Alberto Lluch Lafuente
Technical University of Denmark
Denmark
Stefan Leue
Germany
Gregor Goessler
INRIA
Doron Peled
Bar Ilan University
Israel
Gilles Geeraerts
Université libre de Bruxelles
Dragan Bosnacki
Eindhoven University of Technology, The Netherlands
Netherlands
Thomas Given-Wilson
Université catholique de Louvain
Belgium
Maurice ter Beek
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"
Jiri Srba
Jaco van de Pol
Aarhus University
Denmark
Fabrizio Biondi
Avast
Czechia
Radu Iosif
VERIMAG, CNRS, Université Grenoble-Alpes
Saddek Bensalem
Verimag
Alice Miller
University of Glasgow
United Kingdom
Charles Pecheur
Université catholique de Louvain
Antti Valmari
University of Jyväskylä
Farn Wang
National Taiwan University
Taiwan
Patrice Godefroid
Microsoft Research
United States
Corina S. Păsăreanu
Carnegie Mellon University Silicon Valley, NASA Ames Research Center
x
Fri 4 Oct 03:43