Program Committee InterAVT

Mathieu Acher

Alessandra Bagnato

Softeam

Cinzia Bernardeshi

Univ. of Pisa

Italy

Dirk Beyer

LMU Munich

Germany

Armin Biere

Johannes Kepler University Linz

Austria

Jorg Brauer

Verified Systems

Germany

Jeremy Bryans

Coventry University

Maxime Cordy

SnT, University of Luxembourg

Marco Dinatale

Scuole Santa Anna

Italy

Alessandro Fantechi

University of Florence

Italy

Alberto Griggio

Fondazione Bruno Kessler

Italy

Klaus Havelund

NASA/Caltech Jet Propulsion Laboratory

United States

Patrick Heymans

University of Namur

Belgium

Radu Iosif

VERIMAG, CNRS, Université Grenoble-Alpes

France

Mikoláš Janota

INESC-ID, IST, ULisboa

Portugal

Stefan Leue

University of Konstanz

Germany

Tiziana Margaria

University of Limerick and Lero - The Irish Software Research Centre

Ireland

Anastasia Mavridou

NASA Ames

David Parker

University of Birmingham

United Kingdom

Ken Pierce

The University of Newcastle

Stavros Tripakis

Northeastern University

United States

Anthony Ventresque

Lero and University College Dublin

Ireland

Tomas Vojnar

Brno University of Technology

Czech Republic

Maurice ter Beek

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

Italy