Augustus de Morgan INTERACTIVE LOGIC:
Games and Social Software

7th Augustus de Morgan Workshop
King's College London
November 4-7, 2005
Ludolf Bakhuizen, XVIIth century

Organizers: Johan van Benthem (Amsterdam/Stanford), Dov Gabbay (London), Benedikt Löwe (Amsterdam), Jane Spurr (London).
Workshop Locale: Great Hall, King's College London
How to get there: King's College is within easy reach of all mainline stations in London. The nearest Underground stations are Temple, Embankment, Charing Cross and Covent Garden. The Great Hall is in the Main Building of Strand Campus.
Registration: Between 1:30 and 2:30 pm on Friday, 4th November.
Attendance fee: 15 (10 for students)
Contact: jane(at)
Hotels: The organizers are recommending the Tavistock Hotel.

Traditionally, logic has dealt with the zero-agent notion of truth and the one-agent notion of reasoning. In the last decades, research focus in logic shifted from these topics to the vast field of "interactive logic", encompassing logics of communication and interaction. The main applications of this move to n-agent notions are logical approaches to games and social software. The wealth of applications in these areas will be the focus of the 7th Augustus de Morgan Workshop.

Short Talk Schedule
List of Speakers PDF Poster

Earlier Augustus de Morgan workshops.

Last changed: October 6th, 2005