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