equal
deleted
inserted
replaced
1 Gerwin Klein (NICTA) |
1 Gerwin Klein (NICTA) |
2 Ruben Gamboa (University of Wyoming) |
2 Ruben Gamboa (University of Wyoming) |
3 Tobias Nipkow (TU Munich) |
3 Tobias Nipkow (TU Munich) |
4 Michael Norrish (NICTA) |
4 Michael Norrish (NICTA) |
5 John Harrison (asked) |
5 John Harrison (INTEL) |
6 Matt Kaufman |
6 Matt Kaufman |
7 Thierry Coquand (University of Gothenburg) |
7 Thierry Coquand (University of Gothenburg) |
8 Steffen Berghofer (Secunet Security Networks AG) |
8 Steffen Berghofer (Secunet Security Networks AG) |
9 Georges Gonthier |
9 Georges Gonthier |
10 Cezar Munos |
10 Cezar Munos |
15 Sandry Blazy (IRISA?) |
15 Sandry Blazy (IRISA?) |
16 Herman Geuvers (asked) |
16 Herman Geuvers (asked) |
17 Xinyu Feng (Suzhou Institute for Advanced Study) |
17 Xinyu Feng (Suzhou Institute for Advanced Study) |
18 Alwen Tui |
18 Alwen Tui |
19 Humin Lin (asked) |
19 Humin Lin (asked) |
20 Nick Benton (asked) |
|
21 Yves Bertot (INRIA) |
20 Yves Bertot (INRIA) |
22 John Matthews (no asked yet Galois) |
21 John Matthews (no asked yet Galois) |
23 Konrad Slind (Rockwell Collins) |
22 Konrad Slind (Rockwell Collins) |
24 Hugo Herbelin (INRIA) |
23 Hugo Herbelin (INRIA) |
25 Bob Constable |
24 Bob Constable |
26 (27) |
25 Jesper Bengtson (ITU) |
|
26 Lars Birkedal (asked) |
|
27 (14) |
27 |
28 |
28 Previous ITP was 33 |
29 Previous ITP was 33 |
29 |
30 |
30 Reserve |
31 Reserve |
31 ======= |
32 ======= |
41 not really ITP person: |
42 not really ITP person: |
42 Gilles Dowek |
43 Gilles Dowek |
43 |
44 |
44 ======================= |
45 ======================= |
45 Gilles Barthe (out) |
46 Gilles Barthe (out) |
|
47 Nick Benton (out) |
46 |
48 |
47 ========= |
49 ========= |
48 Potential Invited speakers: |
50 Potential Invited speakers: |
49 |
51 |
50 Zhong Shao |
52 Zhong Shao |