equal
deleted
inserted
replaced
5 John Harrison (INTEL) |
5 John Harrison (INTEL) |
6 Thierry Coquand (University of Gothenburg) |
6 Thierry Coquand (University of Gothenburg) |
7 Steffen Berghofer (Secunet Security Networks AG) |
7 Steffen Berghofer (Secunet Security Networks AG) |
8 Randy Pollack (Harvard University) |
8 Randy Pollack (Harvard University) |
9 Mike Gordon (Cambridge University) |
9 Mike Gordon (Cambridge University) |
10 Sandry Blazy (IRISA?) |
10 Sandrine Blazy (INRIA) |
11 Herman Geuvers (Nijmegen) |
11 Herman Geuvers (Nijmegen) |
12 Xinyu Feng (Suzhou Institute for Advanced Study) |
12 Xinyu Feng (Suzhou Institute for Advanced Study) |
13 Yves Bertot (INRIA) |
13 Yves Bertot (INRIA) |
14 Konrad Slind (Rockwell Collins) |
14 Konrad Slind (Rockwell Collins) |
15 Hugo Herbelin (INRIA) |
15 Hugo Herbelin (INRIA) |
20 Elsa Gunter (Urbana Champain) |
20 Elsa Gunter (Urbana Champain) |
21 Cesar Munos (nasa) |
21 Cesar Munos (nasa) |
22 Andrea Asperti (Uni Bologna) |
22 Andrea Asperti (Uni Bologna) |
23 Scott Owens (Kent) |
23 Scott Owens (Kent) |
24 Matt Kaufman (texas) |
24 Matt Kaufman (texas) |
25 Alwen Tui (Nanyang) |
25 Alwen Tiu (Nanyang) |
26 (25) |
26 (25) |
27 |
27 |
28 |
28 |
29 |
29 |
30 Bob Constable |
30 Bob Constable |