Program Committee VMCAI

Timos Antonopoulos

Yale University

United States

Dirk Beyer PC Chair

LMU Munich

Germany

Nikolaj Bjørner

Microsoft Research

United States

Pavol Cerny

University of Colorado Boulder

Slovakia

Rayna Dimitrova

University of Leicester, UK

Constantin Enea

IRIF, University Paris Diderot & CNRS

France

Pierre Ganty

IMDEA Software Institute

Spain

Alberto Griggio

Fondazione Bruno Kessler

Italy

Ashutosh Gupta

TIFR, India

Marie-Christine Jakobs

TU Darmstadt, Germany

Laura Kovacs

Vienna University of Technology (TU Wien)

Austria

Jan Kretinsky

TU Munich, Germany

Markus Kusano

Virginia Tech

United States

Ori Lahav

Tel Aviv University

David Monniaux

CNRS, VERIMAG

France

Kedar Namjoshi

Bell Labs, Nokia

United States

Andreas Podelski

University of Freiburg, Germany

Germany

Nadia Polikarpova

University of California, San Diego

United States

Shaz Qadeer

Facebook

United States

Daniel Schwartz-Narbonne

Amazon, n.n.

Martina Seidl

Johannes Kepler University Linz, Austria

Natasha Sharygina

USI Lugano, Switzerland

Switzerland

Mihaela Sighireanu

IRIF, Université Paris Diderot, France

France

Jan Strejcek

Masaryk University

Czechia

Alexander J. Summers

ETH Zurich

Michael Tautschnig

Amazon Web Services

Caterina Urban

Inria & École Normale Supérieure | Université PSL

France

Heike Wehrheim

Paderborn University

Germany

Thomas Wies

New York University

Lenore Zuck

UIC

United States

Damien Zufferey PC Chair

MPI-SWS