Arrival Information
Important Dates
Program Committee/
Steering Committee/
Local Organisers
 Registration and Travel 
Registration Info
Conference Location/
Travel Info
List of Participants
Invited Speakers
Accepted Papers
 Co-located  Events
 Additional  Information
Full Addresses
Publication Details/
Conference Proceedings
Call for Participation
Call for Papers
Submission Details
The City & Tourism

Man logo

Advances in Modal Logic 2004

9 - 11 September 2004

University of Manchester, UK

Latest News

  • 31.10.2005: The official proceedings have appeared.
    BiBTeX, Online version.
  • 05.10.2004: The email address for submissions to the post-conference proceedings is:
  • 28.09.2004: Final versions of 18-20 pages (11pt, latex) for the post-conference proceedings are to be submitted electronically by November 26th, 2004. Detailed instructions for submission and format will appear on this web page in the near future.
    Final acceptance is to be notifed by January 14th, 2005.
  • 01.09.2004: We are full. No more registrations will be accepted.
  • 27.08.2004: Arrival information.
  • 18.08.2004: The timetable has been revised! Please check out the new timetable.
  • 18.08.2004: The preliminary proceedings are available.
  • 10.08.2004: We have been able to honour all accommodation requests as on completed registration forms. A summary of registration details is available on the List of Participants.
  • 02.07.2004: The timetable has been published.
  • 19.06.2004: The list of accepted papers has been published.
  • 19.06.2004: Authors have all been notified of the results of the review process via email. If you are a contact author of a submitted paper and seem not have received such an email, please contact: urgently.
  • 16.06.2004: Early registration has begun.

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.

Special session

During the conference there will be a special session on "Modal Logics for Knowledge and Action".

Co-located events

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.

Further information

Please address your enquiries about AiML 2004 to the local organizers or the program co-chairs.


AiML COST logo MURDOCH UNIVERSITY Colognet logo BLC University of Amsterdam Manchester University
Last modified: 31 Oct 05
Copyright © 2003-2004 Renate Schmidt, Department of Computer Science, University of Manchester