| Scientific Programme |
| Johan van Benthem Games: actions that make information flow |
| David Makinson Reasoning with rules |
| John Woods Frontiers of practical logic |
| Ruth Kempson & Wilfried Meyer Viol Dynamic syntax: the flow of language understanding |
| Wilfrid Hodges Truth definitions, 1900 versus 2000 |
| Dov Gabbay (chair) Frontiers of Logic: discussion and questions |
There is no charge for the workshop,
but participants should register their intention to attend.
Please contact Jane Spurr at jane@dcs.kcl.ac.uk,
King's College London, Department of
Computer Science, Strand, WC2R 2LS