[asian-logic 152] CfP: Advances in Modal Logic 2004

[Apologies for multiple copies]

                   FIRST CALL FOR PAPERS

                           AiML-2004
                  Advances in Modal Logic 
          September 9-11, 2004, Manchester


DEADLINE: April 15, 2004

Advances in Modal Logic is an initiative aimed at presenting
an up-to-date picture of the state of the art in modal logic
and its many applications. The initiative consists of a
conference series together with volumes based on the
conferences.

AiML-2004 is the fifth conference organized as part of
this initiative. It will be held September 9-11, 2004 in 
Manchester, UK.

TOPICS
Topics of interest include: 
 o complexity and decidability of modal and temporal logics, 
 o deontic logic, 
 o description logics, 
 o dynamic logic, 
 o epistemic logic, 
 o modal logics of space, 
 o modal logic and game theory, 
 o modal logic and grammar formalisms, 
 o modal and temporal logic programming and theorem proving, 
 o model theory and proof theory of modal logics,
 o computational aspects of modal logics, 
 o correspondence theory, duality theory, 
 o representation of time in natural language semantics, 
 o non-monotonic modal logics,
 o modal logics for agent-based systems,
 o modal logic in Computer Science and AI, 
 o provability logic,  
 o mathematics of modal logic, 
 o philosophy of modal logic.

Papers on related subjects will also be considered.

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

INVITED SPEAKERS
Invited speakers include:

 o Philippe Balbiani (Toulouse, France)
 o Keith Devlin (Stanford, USA) 
 o Valentin Goranko (Johannesburg, Rep. South Africa)
 o Wiebe van der Hoek (Liverpool, UK)
 o Maarten Marx (Amsterdam, The Netherlands)
 o Robert Stalnaker (MIT, USA)

PAPER SUBMISSION
Authors are invited to submit a detailed abstract of a full
paper of at most 10 pages (a4paper, 11pt) by e-mail to one
of the programme chairs, using `AiML Submission' as the
subject line. The cover page should include title, names of
authors, the co-ordinates of the corresponding author, and
some keywords describing the topic of the paper.  To be
considered, submissions must be received no later than 
April 15, 2004.

Note that at least one author of each accepted paper is
required to register for and attend the conference to present
the paper. (Otherwise there is a risk of not being invited to 
the formal proceedings volume.)

PUBLICATION DETAILS
Preliminary versions of the full papers will be made
available at the meeting. Authors will be invited to submit 
a full version, which will again be refereed. The selected 
papers will be included in the formal proceedings to be 
published by King's College Publications.  Notification 
date for the conference is June 15, 2004; for the formal 
proceedings it is December 1, 2004.

PROGRAM COMMITTEE
Patrick Blackburn (Nancy, France)
Alexander Chagrov (Tver, Russia)
Vincent Hendricks (Roskilde, Denmark)
Ian Pratt-Hartmann (Manchester, UK)
Mark Reynolds (Perth, Australia)
Maarten de Rijke (Amsterdam, The Netherlands)
Ulrike Sattler (Manchester, UK)
Holger Schlingloff (Berlin, Germany)
Renate Schmidt (Manchester, UK)
Nobu-Yuki Suzuki (Shizuoka, Japan)
Heinrich Wansing (Dresden, Germany)
Frank Wolter (Liverpool, UK)
Michael Zakharyaschev (London, UK)
  
PROGRAM CO-CHAIRS
Mark Reynolds
Murdoch University, Perth, Australia
e-mail: [email protected]

Heinrich Wansing 
Dresden University of Technology, Germany
e-mail: [email protected]

LOCAL ORGANIZERS
Renate Schmidt ([email protected]), 
University of Manchester, UK
Ian Pratt-Hartmann ([email protected]), 
University of Manchester, UK

IMPORTANT DATES
Submission deadline: April 15, 2004
Acceptance notification: June 15, 2004
Conference: September 9-11, 2004
Preliminary versions for conference due: July 15, 2004
Notification of acceptance for full papers: December 1, 2004

FURTHER INFORMATION
Information about AiML-2004 can be obtained at
http://www.cs.man.ac.uk/aiml04/

E-mail enquiries about AiML-2004 should be directed to
the local organizers or the program co-chairs.

Information about AiML can be obtained at
http://www.aiml.net