| changeset 69 | 43da71639190 |
| parent 68 | 1f237ce9630a |
| child 72 | e73146897399 |
| 68:1f237ce9630a | 69:43da71639190 |
|---|---|
33 Christine Paulin-Mohring |
33 Christine Paulin-Mohring |
34 Larry Paulson |
34 Larry Paulson |
35 Dan Licata (check whether he had an ITP paper) |
35 Dan Licata (check whether he had an ITP paper) |
36 Lars Birkedal |
36 Lars Birkedal |
37 Jesper Bengtson |
37 Jesper Bengtson |
38 Zhaohui Luo (Royal Holloway) |
|
39 |
|
40 |
|
41 |
|
42 ========= |
|
43 Invited speakers: |
|
44 |
|
45 Zhong Shao |
|
46 Andrew Appel |
|
47 Jeremy Avigad |