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