Program Committee HOPE

Edwin Brady

University of St. Andrews, UK

United Kingdom

Pierre-Evariste Dagand

LIP6/CNRS

France

Atsushi Igarashi

Kyoto University, Japan

Japan

Robbert Krebbers

Delft University of Technology, Netherlands

Netherlands

Vivek Nigam

Federal University of Paraiba / fortiss

Germany

Matija Pretnar

University of Ljubljana, Slovenia

Slovenia

Azalea Raad

Max Planck Institute for Software Systems (MPI-SWS)

Germany

Aseem Rastogi

Microsoft Research

India

Filip Sieczkowski

University of Wrocław

Poland

Niki Vazou

University of Maryland