
diff -r 7c8aacb42d0f -r 426f4905f346 cfp.tex
--- a/cfp.tex	Sun Nov 30 12:29:13 2014 +0000
+++ b/cfp.tex	Mon Dec 01 05:44:19 2014 +0000
@@ -33,6 +33,7 @@
 Yves Bertot, \emph{INRIA}\\
 Lars Birkedal, \emph{Aarhus University}\\
 Sandrine Blazy, \emph{IRISA}\\
+Bob Constable, \emph{Cornell University}\\
 Thierry Coquand, \emph{University of Gothenburg}\\
 Xinyu Feng, \emph{Univ.~of Science and Technology of China}\\
 Ruben Gamboa, \emph{University of Wyoming}\\




