equal
deleted
inserted
replaced
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 |
11 Randy Pollack (Harvard University) |
11 Randy Pollack (Harvard University) |
12 Mike Gordon |
12 Mike Gordon (Cambridge University) |
13 (or Magnus Myreen) |
|
14 Xavier Leroy |
13 Xavier Leroy |
15 Sandry Blazy (IRISA?) |
14 Sandry Blazy (IRISA?) |
16 Herman Geuvers (Nijmegen) |
15 Herman Geuvers (Nijmegen) |
17 Xinyu Feng (Suzhou Institute for Advanced Study) |
16 Xinyu Feng (Suzhou Institute for Advanced Study) |
18 Alwen Tui |
17 Alwen Tui |
19 Humin Lin (asked) |
|
20 Yves Bertot (INRIA) |
18 Yves Bertot (INRIA) |
21 John Matthews (no asked yet Galois) |
19 John Matthews (no asked yet Galois) |
22 Konrad Slind (Rockwell Collins) |
20 Konrad Slind (Rockwell Collins) |
23 Hugo Herbelin (INRIA) |
21 Hugo Herbelin (INRIA) |
24 Bob Constable |
22 Bob Constable |
25 Jesper Bengtson (ITU) |
23 Jesper Bengtson (ITU) |
26 Lars Birkedal (Aarhus) |
24 Lars Birkedal (Aarhus) |
27 (16) |
25 (17) |
28 |
26 |
29 Previous ITP was 33 |
27 Previous ITP was 33 |
30 |
28 |
31 Reserve |
29 Reserve |
32 ======= |
30 ======= |
41 Gilles Dowek |
39 Gilles Dowek |
42 |
40 |
43 ======================= |
41 ======================= |
44 Gilles Barthe (out) |
42 Gilles Barthe (out) |
45 Nick Benton (out) |
43 Nick Benton (out) |
|
44 Humin Lin (out) |
46 |
45 |
47 ========= |
46 ========= |
48 Potential Invited speakers: |
47 Potential Invited speakers: |
49 |
48 |
50 Zhong Shao |
49 Zhong Shao |