# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1417412659 0
# Node ID 426f4905f3467a069477fb7663d76549d8b0610d
# Parent  7c8aacb42d0f6aba6879116a09c9ad0835afa25b
updated

diff -r 7c8aacb42d0f -r 426f4905f346 cfp.pdf
Binary file cfp.pdf has changed
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}\\
diff -r 7c8aacb42d0f -r 426f4905f346 index.html
--- a/index.html	Sun Nov 30 12:29:13 2014 +0000
+++ b/index.html	Mon Dec 01 05:44:19 2014 +0000
@@ -179,6 +179,9 @@
 <TR><TD><A HREF="https://www.irisa.fr/celtique/blazy/index.html">Sandrine Blazy</A></TD>
     <TD>IRISA, France</TD>
 </TR>
+<TR><TD><A HREF="http://www.cs.cornell.edu/home/rc/">Bob Constable</A></TD>
+    <TD>Cornell University, USA</TD>
+</TR>
 <TR><TD><A HREF="http://www.cse.chalmers.se/~coquand/">Thierry Coquand</A></TD>
     <TD>University of Gothenburg, Sweden</TD>
 </TR>