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 (asked) |
3 Tobias Nipkow (TU Munich) |
4 Michael Norrish (NICTA) |
4 Michael Norrish (NICTA) |
5 John Harrison (asked) |
5 John Harrison (asked) |
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) |
10 Cezar Munos |
10 Cezar Munos |
11 Randy Pollack (Harvard University) |
11 Randy Pollack (Harvard University) |
12 Mike Gordon |
12 Mike Gordon |
13 (or Magnus Myreen) |
13 (or Magnus Myreen) |
14 Xavier Leroy |
14 Xavier Leroy |
15 Sandry Blazy (asked) |
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) |
20 Nick Benton (asked) |
21 Yves Bertot (asked) |
21 Yves Bertot (INRIA) |
22 John Matthews (Galois) |
22 John Matthews (no asked yet Galois) |
23 Konrad Slind (Rockwell Collins) |
23 Konrad Slind (Rockwell Collins) |
24 Hugo Herbelin (asked) |
24 Hugo Herbelin (INRIA) |
25 Bob Constable |
25 Bob Constable |
26 Gilles Barthe (asked) |
|
27 (27) |
26 (27) |
28 |
27 |
29 Previous ITP was 33 |
28 Previous ITP was 33 |
30 |
29 |
31 Reserve |
30 Reserve |
32 ======= |
31 ======= |
|
32 Pierre-Yves Strub (Coq) |
33 René Thiemann |
33 René Thiemann |
34 Christine Paulin-Mohring |
34 Christine Paulin-Mohring |
35 Larry Paulson |
35 Larry Paulson |
36 Dan Licata (check whether he had an ITP paper) |
36 Dan Licata (check whether he had an ITP paper) |
37 Lars Birkedal |
37 Lars Birkedal |
39 ?? Zhaohui Luo (Royal Holloway) |
39 ?? Zhaohui Luo (Royal Holloway) |
40 |
40 |
41 not really ITP person: |
41 not really ITP person: |
42 Gilles Dowek |
42 Gilles Dowek |
43 |
43 |
|
44 ======================= |
|
45 Gilles Barthe (out) |
|
46 |
44 ========= |
47 ========= |
45 Potential Invited speakers: |
48 Potential Invited speakers: |
46 |
49 |
47 Zhong Shao |
50 Zhong Shao |
48 Andrew Appel |
51 Andrew Appel |