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 (INTEL) |
5 John Harrison (INTEL) |
6 Matt Kaufman |
|
7 Thierry Coquand (University of Gothenburg) |
6 Thierry Coquand (University of Gothenburg) |
8 Steffen Berghofer (Secunet Security Networks AG) |
7 Steffen Berghofer (Secunet Security Networks AG) |
9 Georges Gonthier |
|
10 Cezar Munos |
|
11 Randy Pollack (Harvard University) |
8 Randy Pollack (Harvard University) |
12 Mike Gordon (Cambridge University) |
9 Mike Gordon (Cambridge University) |
13 Xavier Leroy |
|
14 Sandry Blazy (IRISA?) |
10 Sandry Blazy (IRISA?) |
15 Herman Geuvers (Nijmegen) |
11 Herman Geuvers (Nijmegen) |
16 Xinyu Feng (Suzhou Institute for Advanced Study) |
12 Xinyu Feng (Suzhou Institute for Advanced Study) |
17 Alwen Tui |
|
18 Yves Bertot (INRIA) |
13 Yves Bertot (INRIA) |
19 John Matthews (no asked yet Galois) |
|
20 Konrad Slind (Rockwell Collins) |
14 Konrad Slind (Rockwell Collins) |
21 Hugo Herbelin (INRIA) |
15 Hugo Herbelin (INRIA) |
|
16 Lars Birkedal (Aarhus) |
|
17 Jesper Bengtson (ITU) |
|
18 Carsten Schuermann (ITU) |
|
19 Dimitrios Vytiniotis (Microsoft) |
|
20 Elsa Gunter (Urbana Champain) |
|
21 (20) |
|
22 |
|
23 Cesar Munos (nasa) |
|
24 Matt Kaufman (texas) |
|
25 Scott Owens (Kent) |
|
26 Andrea Asperti (Uni Bologna) |
|
27 Alwen Tui (Nanyang) |
22 Bob Constable |
28 Bob Constable |
23 Jesper Bengtson (ITU) |
29 Georges Gonthier |
24 Lars Birkedal (Aarhus) |
30 |
25 (17) |
|
26 |
31 |
27 Previous ITP was 33 |
32 Previous ITP was 33 |
28 |
33 |
29 Reserve |
34 Reserve |
30 ======= |
35 ======= |
31 Pierre-Yves Strub (Coq) |
36 Pierre-Yves Strub (Coq) |
32 René Thiemann |
37 René Thiemann |
33 Christine Paulin-Mohring |
38 Christine Paulin-Mohring |
34 Larry Paulson |
39 Larry Paulson |
35 Dan Licata (check whether he had an ITP paper) |
|
36 ?? Zhaohui Luo (Royal Holloway) |
|
37 |
40 |
38 not really ITP person: |
41 not really ITP person: |
39 Gilles Dowek |
42 Gilles Dowek |
40 |
43 |
41 ======================= |
44 ======================= |
42 Gilles Barthe (out) |
45 Gilles Barthe (out) |
43 Nick Benton (out) |
46 Nick Benton (out) |
44 Humin Lin (out) |
47 Humin Lin (out) |
|
48 Xavier Leroy (out) |
|
49 John Matthews (out Apple) |
|
50 |
45 |
51 |
46 ========= |
52 ========= |
47 Potential Invited speakers: |
53 Potential Invited speakers: |
48 |
54 |
49 Zhong Shao |
55 Zhong Shao |