equal
deleted
inserted
replaced
1 Gerwin Klein |
1 Gerwin Klein |
2 Ruben Gamboa |
2 Ruben Gamboa |
3 Tobias Nipkow |
3 Tobias Nipkow |
4 Zhong Shao |
|
5 Michael Norrish |
4 Michael Norrish |
6 John Harrison |
5 John Harrison |
7 Matt Kaufman |
6 Matt Kaufman |
8 Therry Coquand |
7 Therry Coquand |
9 Steffen Berghofer |
8 Steffen Berghofer |
15 Sandry Blazy |
14 Sandry Blazy |
16 Jeremy Avigard |
15 Jeremy Avigard |
17 Herman Geuvers |
16 Herman Geuvers |
18 Xingyu Feng |
17 Xingyu Feng |
19 Alwen Tui |
18 Alwen Tui |
20 Jouanaud |
|
21 Humin Lin |
19 Humin Lin |
22 Nick Benton |
20 Nick Benton |
23 Andrew Appel |
|
24 Yves Bertot |
21 Yves Bertot |
25 John Matthews (Galois) |
22 John Matthews (Galois) |
26 Konrad Slind (Rockwell Collins) |
23 Konrad Slind (Rockwell Collins) |
27 Gilles Dowek |
24 Gilles Dowek |
28 Hugo Herbelin |
25 Hugo Herbelin |
29 Bob Constable |
26 Bob Constable |
30 (29) |
27 Gilles Barthe |
|
28 (27) |
31 |
29 |
32 --------- |
30 Previous ITP was 33 |
|
31 |
|
32 Reserve |
|
33 ======= |
|
34 René Thiemann |
33 Christine Paulin-Mohring |
35 Christine Paulin-Mohring |
34 Larry Paulson |
36 Larry Paulson |
35 Dan Licata (check whether he had an ITP paper) |
37 Dan Licata (check whether he had an ITP paper) |
36 Lars Birkedal |
38 Lars Birkedal |
37 Jesper Bengtson |
39 Jesper Bengtson |
38 Zhaohui Luo (Royal Holloway) |
40 ?? Zhaohui Luo (Royal Holloway) |
39 |
|
40 |
41 |
41 |
42 |
42 ========= |
43 ========= |
43 Invited speakers: |
44 Potential Invited speakers: |
44 |
45 |
45 Zhong Shao |
46 Zhong Shao |
46 Andrew Appel |
47 Andrew Appel |
47 Jeremy Avigad |
48 Jeremy Avigad |