equal
deleted
inserted
replaced
21 John Matthews (no asked yet Galois) |
21 John Matthews (no asked yet Galois) |
22 Konrad Slind (Rockwell Collins) |
22 Konrad Slind (Rockwell Collins) |
23 Hugo Herbelin (INRIA) |
23 Hugo Herbelin (INRIA) |
24 Bob Constable |
24 Bob Constable |
25 Jesper Bengtson (ITU) |
25 Jesper Bengtson (ITU) |
26 Lars Birkedal (asked) |
26 Lars Birkedal (Aarhus) |
27 (14) |
27 (15) |
28 |
28 |
29 Previous ITP was 33 |
29 Previous ITP was 33 |
30 |
30 |
31 Reserve |
31 Reserve |
32 ======= |
32 ======= |
33 Pierre-Yves Strub (Coq) |
33 Pierre-Yves Strub (Coq) |
34 René Thiemann |
34 René Thiemann |
35 Christine Paulin-Mohring |
35 Christine Paulin-Mohring |
36 Larry Paulson |
36 Larry Paulson |
37 Dan Licata (check whether he had an ITP paper) |
37 Dan Licata (check whether he had an ITP paper) |
38 Lars Birkedal |
|
39 Jesper Bengtson |
|
40 ?? Zhaohui Luo (Royal Holloway) |
38 ?? Zhaohui Luo (Royal Holloway) |
41 |
39 |
42 not really ITP person: |
40 not really ITP person: |
43 Gilles Dowek |
41 Gilles Dowek |
44 |
42 |