De Morgan Workshop nov 16

De Morgan Workshop nov 16

[Dov Gabbay]

                           CALL FOR PARTICIPATION


Tuesday 16th November
in the Great Hall, King's College, Strand


The First Augustus De Morgan  Workshop
on
The Frontiers of Logic

1.00 - 9.30       Registration

9.30-10-30    Johan van Benthem
                        Games: Actions that make Information flow

10.30-11.00    Coffee

11.00-12.00    David Makinson
                         Reasoning with Rules

12.00-13.30     Lunch

13.30-14.30    John Woods
                         Frontiers of Practical Logic

14.30-15.30    Ruth Kempson and Wilfried Meyer-Viol
                        Dynamic Syntax: the Flow of Language Understanding

15.30-16.00    Tea

16.00-17.00    Wilfrid Hodges
                        Truth Definitions, 1900 versus 2000

17.00-18.00    Dov Gabbay, Chair
                        Frontiers of Logic:  Discussion and questions.

18.00                Conclusion

There is no charge for the Workshop, but participants should register their
intention to attend with Jane Spurr, jane@dcs.kcl.ac.uk

- Our apologies if you receive multiple copies of this message -


--

Professor  D M Gabbay 
Augustus De Morgan  Professor of Logic
 
Dept of computer Science 
King's College 
Strand 
London WC2R 2LS

Telephone  + 44 171 848 2930
Fax        + 44 171 240 1071
http://www.dcs.kcl.ac.uk/staff/dg/
http://www.kcl.ac.uk/kis/schools/hums/philosophy/staff/dovg.html

Latex or postscript files send to 
Jane Spurr  jane@dcs.kcl.ac.uk