![[Center for Nonlinear Analysis, Carnegie Mellon
University]](/users/wow/summerinst/header.gif) 
| |  |  | ||
| 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 | |