|
| ||
2:30 |
and Colin Hinde |
Prof. Deborah Brandon | |
1:30 |
Circuit Complexity | Prof. Richard Statman | |
2:30 |
Prof. Richard Statman | ||
3:30 |
the Resolution Proof | Prof. Richard Statman | |
9:30 |
and Abby Mroczenski |
(a 200+ year old dispute) | Prof. Pantelis Vlachos |
10:30 |
Prof. John Tolle | ||
11:30 |
and Christina Webb |
Prof.John Tolle | |