equal
deleted
inserted
replaced
1 Gerwin Klein |
1 Gerwin Klein (NICTA) |
2 Ruben Gamboa |
2 Ruben Gamboa (University of Wyoming) |
3 Tobias Nipkow |
3 Tobias Nipkow (asked) |
4 Michael Norrish |
4 Michael Norrish (NICTA) |
5 John Harrison |
5 John Harrison (asked) |
6 Matt Kaufman |
6 Matt Kaufman |
7 Therry Coquand |
7 Thierry Coquand (University of Gothenburg) |
8 Steffen Berghofer |
8 Steffen Berghofer (Secunet Security Networks AG) |
9 Georges Gonthier |
9 Georges Gonthier |
10 Cezar Munos |
10 Cezar Munos |
11 Randy Pollack |
11 Randy Pollack (Harvard University) |
12 Mike Gordon (or Magnus Myreen) |
12 Mike Gordon |
|
13 (or Magnus Myreen) |
13 Xavier Leroy |
14 Xavier Leroy |
14 Sandry Blazy |
15 Sandry Blazy (asked) |
15 Jeremy Avigard |
16 Herman Geuvers (asked) |
16 Herman Geuvers |
17 Xinyu Feng (Suzhou Institute for Advanced Study) |
17 Xingyu Feng |
|
18 Alwen Tui |
18 Alwen Tui |
19 Humin Lin |
19 Humin Lin (asked) |
20 Nick Benton |
20 Nick Benton (asked) |
21 Yves Bertot |
21 Yves Bertot (asked) |
22 John Matthews (Galois) |
22 John Matthews (Galois) |
23 Konrad Slind (Rockwell Collins) |
23 Konrad Slind (Rockwell Collins) |
24 Gilles Dowek |
24 Hugo Herbelin (asked) |
25 Hugo Herbelin |
|
26 Bob Constable |
25 Bob Constable |
27 Gilles Barthe |
26 Gilles Barthe (asked) |
28 (27) |
27 (27) |
29 |
28 |
30 Previous ITP was 33 |
29 Previous ITP was 33 |
31 |
30 |
32 Reserve |
31 Reserve |
37 Dan Licata (check whether he had an ITP paper) |
36 Dan Licata (check whether he had an ITP paper) |
38 Lars Birkedal |
37 Lars Birkedal |
39 Jesper Bengtson |
38 Jesper Bengtson |
40 ?? Zhaohui Luo (Royal Holloway) |
39 ?? Zhaohui Luo (Royal Holloway) |
41 |
40 |
|
41 not really ITP person: |
|
42 Gilles Dowek |
42 |
43 |
43 ========= |
44 ========= |
44 Potential Invited speakers: |
45 Potential Invited speakers: |
45 |
46 |
46 Zhong Shao |
47 Zhong Shao |