Elsnet
 
   


ELSNET-list archive

Category:   E-CFP
Subject:   Advances in Modal Logic (AiML-2004)
From:   Renate Schmidt
Email:   schmidt_(on)_cs.man.ac.uk
Date received:   12 Jan 2004
Deadline:   15 Apr 2004
Start date:   09 Sep 2004

SECOND 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 o 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). 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. Detailed instructions for electronic submission will appear on the conference web site (see below) in mid March 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: m.reynolds_(on)_murdoch.edu.au Heinrich Wansing Dresden University of Technology, Germany e-mail: wansing_(on)_rcs.urz.tu-dresden.d e LOCAL ORGANIZERS Renate Schmidt (schmidt_(on)_cs.man.ac.uk), University of Manchester, UK Ian Pratt-Hartmann (ipratt_(on)_cs.man.ac.uk), 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
 

[print/pda] [no frame] [navigation table] [navigation frame]     Page generated 14-02-2008 by Steven Krauwer Disclaimer / Contact ELSNET