Call for Papers
DEADLINE: 27 March 2006
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-2006 is the sixth conference in the series.
TOPICS
We invite submission on all aspects of modal logics, including the following:
- applications of modal logic
- computational aspects of modal logics
- complexity and decidability of modal and temporal logics
- modal and temporal logic programming
- model checking
- theorem proving for modal logics
- history of modal logic
- philosophy of modal logic
- specific instances of modal logic
- description logics
- dynamic logics and other process logics
- epistemic and deontic logics
- modal logics for agent-based systems
- modal logic and game theory
- modal logic and grammar formalisms
- provability and interpretability logics
- spatial and temporal logics
- theoretical aspects of modal logic
- algebraic and coalgebraic perspective on modal logic
- completeness and canonicity
- correspondence and duality theory
- many-dimensional modal logics
- modal fixed point logics
- model theory of modal logic
- proof theory of modal logic
- variations of modal logic
- hybrid logic
- intuitionistic logic
- monotonic modal logic
- substructural logic
Papers on related subjects will also be considered.
INVITED SPEAKERS
Invited speakers will include:
- Renate Schmidt (Manchester, UK)
- Valentin Shehtman (Moscow, Russia)
- Igor Walukiewicz (Bordeaux, France)
- Alberto Zanardo (Padua, Italy)
PAPER SUBMISSION
The Proceedings of AiML 2006 will be published by College Publications.
In a change from previous AiMLs, the proceedings will be made available at the meeting. Authors are invited to submit a full paper (not just an abstract, but short papers will not be discriminated against) of at most 15 pages plus optionally a technical appendix of up to 5 pages, together with a plain-text abstract of say 100-200 words. The first page should include title, names of authors, the co-ordinates of the corresponding author, and some keywords describing the topic of the paper. More precise details will be available soon.
To be considered, submissions must be received no later than 27 March 2006. Authors should submit their papers electronically using the submission page atThe online submission system will be opened a few weeks before the submission deadline. Submissions should be either .pdf or .ps files. Anyone who is unable to send the paper electronically and wishes to submit hard copies should contact one of the Program Co-Chairs before March 6, 2006.
To appear in the proceedings, papers must be prepared in LaTeX using the style files to be provided here. At least one author of each accepted paper must register for and attend the conference to present the paper.