Write a Blog >>
SPIN 2021
Mon 12 Jul 2021
Online
co-located with
ECOOP and ISSTA 2021
Toggle navigation
Attending
Venue: online
ECOOP and ISSTA 2021
Registration
Information for Attendees
Instructions to Presenters
Equity, Diversity and Inclusion
ECOOP Awards
Program
SPIN Program
Your Program
Mon 12 Jul
Track/Call
Organization
SPIN 2021 Committees
Track Committees
Organizing Committee
Programming Committee
Contributors
People Index
Search
Series
Series
SPIN 2021
SPIN 2019
SPIN 2017
Sign in
Sign up
ECOOP and ISSTA 2021
(
series
) /
SPIN 2021 (
series
) /
27th International SPIN Symposium on Model Checking of Software
/
Programming Committee
SPIN
Jiri Barnat
Masaryk University
Maurice H. ter Beek
ISTI-CNR
Italy
Tom van Dijk
University of Twente
Netherlands
Vedran Dunjko
Leiden University
Stefan Edelkamp
University of Koblenz
Germany
Grigory Fedyukovich
Florida State University
United States
Patrice Godefroid
Microsoft Research, USA
United States
Henri Hansen
Tampere University
Finland
Arnd Hartmanns
University of Twente
Netherlands
Gerard Holzmann
NASA/Caltech Jet Propulsion Laboratory
United States
Antti Hyvärinen
Università della Svizzera Italiana
Switzerland
Nils Jansen
Radboud University Nijmegen
Netherlands
Peter Gjøl Jensen
Aalborg University, Denmark
Denmark
Sung-Shik Jongmans
Open University of the Netherlands; CWI
Netherlands
Jeroen J.A. Keiren
Eindhoven University of Technology
Igor Konnov
Informal Systems Inc
Austria
Alberto Lluch Lafuente
Technical University of Denmark
Denmark
Kuldeep S. Meel
National University of Singapore
Alice Miller
University of Glasgow
United Kingdom
Sergio Mover
Ecole Polytechnique
Rajagopal Nagarajan
Middlesex University
Doron Peled
Bar Ilan University
Israel
Tatjana Petrov
Universität Konstanz
Germany
Jaco van de Pol
Aarhus University
Denmark
Stephen F. Siegel
University of Delaware
United States
Carsten Sinz
Karlsruhe Institute of Technology
Jiri Srba
Aalborg University
Michael Tautschnig
Amazon Web Services
Yann Thierry-Mieg
Sorbonne Université — LIP6
France
Yakir Vizel
Technion—Israel Institute of Technology
Israel
Georg Weissenbacher
TU Wien
Austria
Anton Wijs
Eindhoven University of Technology
Netherlands
x
Sat 14 Dec 08:23