# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1406295492 -3600
# Node ID a4b7afa82af676656fbf18006b7f53fa6370f8a1
# Parent  d4db079cb2a9b6e755fb9aca31d76c94033b4e19
added

diff -r d4db079cb2a9 -r a4b7afa82af6 pc
--- a/pc	Wed Jul 23 05:02:30 2014 +0200
+++ b/pc	Fri Jul 25 14:38:12 2014 +0100
@@ -1,6 +1,6 @@
 Gerwin Klein      (NICTA)
 Ruben Gamboa      (University of Wyoming)
-Tobias Nipkow     (asked)
+Tobias Nipkow     (TU Munich)
 Michael Norrish   (NICTA)
 John Harrison     (asked)
 Matt Kaufman
@@ -12,24 +12,24 @@
 Mike Gordon 
 (or Magnus Myreen)
 Xavier Leroy
-Sandry Blazy      (asked)      
+Sandry Blazy      (IRISA?)      
 Herman Geuvers    (asked)
 Xinyu Feng        (Suzhou Institute for Advanced Study)
 Alwen Tui
 Humin Lin         (asked)
 Nick Benton       (asked)
-Yves Bertot       (asked)
-John Matthews (Galois)
+Yves Bertot       (INRIA)
+John Matthews (no asked yet Galois)
 Konrad Slind      (Rockwell Collins)
-Hugo Herbelin     (asked)
+Hugo Herbelin     (INRIA)
 Bob Constable
-Gilles Barthe     (asked)
 (27)
 
 Previous ITP was 33
 
 Reserve
 =======
+Pierre-Yves Strub (Coq)
 René Thiemann 
 Christine Paulin-Mohring
 Larry Paulson
@@ -41,6 +41,9 @@
 not really ITP person: 
 Gilles Dowek
 
+=======================
+Gilles Barthe     (out)
+
 =========
 Potential Invited speakers: