equal
deleted
inserted
replaced
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 (IRISA?) |
15 Sandry Blazy (IRISA?) |
16 Herman Geuvers (asked) |
16 Herman Geuvers (Nijmegen) |
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 Yves Bertot (INRIA) |
20 Yves Bertot (INRIA) |
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 (Aarhus) |
26 Lars Birkedal (Aarhus) |
27 (15) |
27 (16) |
28 |
28 |
29 Previous ITP was 33 |
29 Previous ITP was 33 |
30 |
30 |
31 Reserve |
31 Reserve |
32 ======= |
32 ======= |