Program Committee CoqPL

Andrew W. Appel

Princeton

Yves Bertot Programme Co-Chair

INRIA

France

Benjamin Delaware

Purdue University

Xinyu Feng

University of Science and Technology of China

China

Hugo Herbelin

INRIA

France

Chantal Keller

LRI, Université Paris-Sud

France

Ekaterina Komendantskaya

Heriot-Watt University

United Kingdom

Ilya Sergey Programme Co-Chair

University College London

United Kingdom

Beta Ziliani

FAMAF, UNC and CONICET

Argentina