diff -r 62f9ba119af2 -r 01007191df40 index.html
--- a/index.html Sun Nov 30 10:22:39 2014 +0000
+++ b/index.html Sun Nov 30 10:24:20 2014 +0000
@@ -173,12 +173,12 @@
Yves Bertot |
INRIA, France |
+Lars Birkedal |
+ Aarhus University, Denmark |
+
Sandrine Blazy |
IRISA, France |
-Lars Birkedal |
- Aarhus University, Denmark |
-
Thierry Coquand |
University of Gothenburg, Sweden |