Logic List Mailing Archive

AiML (Advances in Modal Logic) 2004, Manchester UK, September 2004

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 Workshop was held in
1996 in Berlin, Germany. Since then the AiML Workshop 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 workshop 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 workshop 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 workshop there will be a special session on "Modal Logics for
Knowledge and Action".

Program committee

    Co-chair: Henrich Wansing, Dresden University of Technology, Germany,
    Email: wansing@rcs.urz.tu-dresden.de. 
    Co-chair: Mark Reynolds, Murdoch University, Perth, Australia,
    Email: m.reynolds@murdoch.edu.au. 

The names of the other program committee members will be announced soon. 

Local organisers

    Renate Schmidt, University of Manchester, UK,
    Email: schmidt@cs.man.ac.uk. 
    Ian Pratt-Hartmann, University of Manchester, UK,
    Email: ipratt@cs.man.ac.uk. 

Further information

Please address your enquiries about AiML 2004 to schmidt@cs.man.ac.uk.