Logic, Model Theory and Computation
| Date: | 9-10 January 2003 |
| Thursday 9th January 2003 | ||
| 1400 - 1450 | Expressiveness and Complexity of a Graph Logic - Anuj Dawar, University of Cambridge | |
| 1500 - 1550 | Logics for Distance Spaces - Frank Wolter, University of Leipzig and University of Liverpool | |
| 1600 - 1630 | Coffee Break | |
| 1630 - 1720 | Theoretical Aspects of Some Problems in Artificial Intelligence - Iain Stewart, University of Durham | |
| 1730 - 1820 | Observational Truth and Modality - Grant Malcolm, University of Liverpool | |
| 1900 | Restaurant Ego; past the Philharmonic Hall, in Hope Place; Hope Street, between two Cathedrals | |
| Friday 10th January 2003 | ||
| 0930 - 1020 | Monodic Temporal Resolution - Boris Konev, University of Liverpool | |
| 1030 - 1120 | Some New Results in the Area of 0 1 Laws for Various Logics - Marco Mazzucco, University of Swansea | |
| 1130 - 1200 | Coffee Break | |
| 1200 - 1250 | An Inductive Definition of a Full Abstract Model for PCF - Vladimir Sazonov, University of Liverpool | |