Program Committee HCVS

Nikolaj Bjørner

Microsoft Research

Adrien Champion

OCamlPro

France

Emanuele De Angelis Co-chair

University of Chieti-Pescara

Italy

Giorgio Delzanno

DIBRIS, University of Genova

Italy

Grigory Fedyukovich Co-chair

Princeton University

United States

Fabio Fioravanti

University of Chieti-Pescara

Italy

John P. Gallagher

Roskilde University

Denmark

Alberto Griggio

Fondazione Bruno Kessler

Italy

Arie Gurfinkel

University of Waterloo

Canada

Matthias Heizmann

University of Freiburg

Germany

Dejan Jovanović

SRI International

United States

Bishoksan Kafle

The university of Melbourne

Australia

Ekaterina Komendantskaya

Heriot-Watt University, UK

Jorge A. Navas

SRI International

United States

Nadia Polikarpova

University of California, San Diego

United States

Philipp Ruemmer

Uppsala University

Sweden

Andrey Rybalchenko

Microsoft Research

United Kingdom

Valerio Senni

ALES Srl — UTRC

Italy

Alicia Villanueva

Universitat Politècnica de València

Spain

He Zhu

Rutgers University, USA