# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1405570441 -7200
# Node ID e73146897399f7c7c68391a12e7fa806937110c3
# Parent  be5353ce18659b93977813b8dac706647e13fa1e
updated

diff -r be5353ce1865 -r e73146897399 pc
--- a/pc	Tue Jul 15 14:10:12 2014 +0200
+++ b/pc	Thu Jul 17 06:14:01 2014 +0200
@@ -1,7 +1,6 @@
 Gerwin Klein
 Ruben Gamboa
 Tobias Nipkow
-Zhong Shao
 Michael Norrish
 John Harrison
 Matt Kaufman
@@ -17,30 +16,32 @@
 Herman Geuvers
 Xingyu Feng
 Alwen Tui
-Jouanaud
 Humin Lin
 Nick Benton
-Andrew Appel
 Yves Bertot
 John Matthews (Galois)
 Konrad Slind (Rockwell Collins)
 Gilles Dowek
 Hugo Herbelin
 Bob Constable
-(29)
+Gilles Barthe
+(27)
 
----------
+Previous ITP was 33
+
+Reserve
+=======
+René Thiemann 
 Christine Paulin-Mohring
 Larry Paulson
 Dan Licata (check whether he had an ITP paper)
 Lars Birkedal
 Jesper Bengtson
-Zhaohui Luo (Royal Holloway)
-
+?? Zhaohui Luo (Royal Holloway)
 
 
 =========
-Invited speakers:
+Potential Invited speakers:
 
 Zhong Shao
 Andrew Appel