Advances in Modal Logic 2004
9 - 11 September 2004
University of Manchester, UK
Advances in Modal Logic is the main international forum at which research on all aspects of modal logic is presented. The Advances in Modal Logic Initiative was founded in 1995 and the first AiML Conference was held in 1996 in Berlin, Germany. Since then the AiML Conference has been organised on an bi-annual basis with previous meetings being held in 1998 in Uppsala, Sweden, in 2000 in Leipzig, Germany (jointly with ICTL-2000), and in 2002 in Toulouse, France.
The next conference will take place in Manchester - the commercial, financial, educational and cultural capital of the North of England - and will be hosted by the Department of Computer Science of the University of Manchester.
The venue for the conference will be the Chancellors Residential Conference Centre of the University of Manchester. The Chancellors is a purpose-built conference hotel, 3 star Hotel standard. It is situated in five acres of landscaped gardens located not far from the University and the city centre.
During the conference there will be a special session on "Modal Logics for Knowledge and Action".
A workshop of Tarski EU COST Action 274 (on "Theory and Applications of Relational Structures as Knowledge Instruments") will be held on 12-13 September at the same venue.
The British Logic Colloquium 2004 is held in Leeds, September 6-8, immediately before AiML.
Please address your enquiries about AiML 2004 to the local organizers or the program co-chairs.