7th Augustus de Morgan Workshop

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)dcs.kcl.ac.uk
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.

		Schedule		Short Talk Schedule
		List of Speakers		PDF Poster

Earlier Augustus de Morgan workshops.

First Augustus de Morgan Workshop, November 1999: Frontiers of Logic
Second Augustus de Morgan Workshop, November 2000: History of Logic
Third Augustus de Morgan Workshop, November 2001: Frontiers of Revision and Contraction
Fourth Augustus de Morgan Workshop, November 2002: Combining Probability and Logic
Fifth Augustus de Morgan Workshop, November 2003: Knowledge Representation and the Reasoning Agent
Sixth Augustus de Morgan Workshop, November 2004: Logic and Law
(The Background of the ADMW)

Last changed: October 6th, 2005