Program Committee VORTEX

Davide Ancona Co-chair

University of Genova

Italy

Gordon Pace Co-chair

University of Malta

Malta

Wolfgang Ahrendt

Chalmers University of Technology

Sweden

Cyrille Artho

KTH Royal Institute of Technology, Sweden

Ezio Bartocci

Technische Universität Wien

Borzoo Bonakdarpour

Iowa State University, USA

Yliès Falcone

Univ. Grenoble Alpes, Inria

France

Klaus Havelund

NASA/Caltech Jet Propulsion Laboratory

United States

Reiner Hähnle

Technical University of Darmstadt

Germany

Jean-Baptiste Jeannin

University of Michigan, USA

Martin Leucker

University of Lübeck

Germany

Rumyana Neykova

Imperial College London, UK

United Kingdom

Luca Padovani

University of Turin, Italy

Italy

António Ravara

Giles Reger

University of Manchester

United Kingdom

Gerardo Schneider

University of Gothenburg

Sweden

Volker Stolz

Høgskulen på Vestlandet

Norway

César Sánchez

IMDEA Software Institute

Spain

Frank S. de Boer

Centrum Wiskunde & Informatica, Leiden University

Oleg Sokolsky

University of Pennsylvania, USA