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