AiML-5 Post-Conference Proceedings

This page is only relevant for authors of papers presented at AiML-5 in Manchester UK in 2004

AiML-5

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-5 is the fifth conference organized as part of this initiative. It was held September 9-11, 2004 in  Manchester, UK.

For more details on the conference see the AiML-5 conference web site.

Preliminary Proceedings

The preliminary proceedings are online here.

Official Proceedings

The official proceedings will appear as a volume in the Advances in Modal Logic Series, published by King's College Publications.

Authors of accepted and presented papers were invited to revise their papers and submit them to appear in the official proceedings. There was a review process.

The author's have now been notified of acceptance for the official proceedings and are making any final changes ready for publication.

Electronic Delivery

Final versions of at most 20 pages (11pt, latex) of papers accepted for the post-conference proceedings are to be delivered electronically by February 28th 2005.
Please email the latex source of your paper to the Programme Chairs at
aimlpc@csse.uwa.edu.au

Important Dates

September 9-11, 2004	AiML 2004
November 26, 2004	Submission deadline - Revised, full papers for post-conference proceedings
February 4th, 2005	Acceptance notification of full papers
February 28th, 2005	Authors to deliver final version

Format and Style Files

Please use latex in 11 point font. Papers should be at most 20 pages long.
Here is the style file to use, kcp.sty. Here is a template for your contribution, template.tex. Please make sure that you:

1 Use a numbered (or plain) bibliography style

2 Include an abstract

3 Ensure that ALL authors' affiliations are listed accurately at the end of the contribution

4 Include the latex indexing code for the chapter, ie add your own \index{} commands to indicate terms which you suggest should be in the index.
Also, when indexing names, use \index(lastname, initial.} (e.g. \index{Kripke, S.})

Authors of invited papers should use this style but may submit longer papers, and have different deadlines -- please refer to the email from the Programme Chairs.

Please email us the the latex source file.

Queries

Please send queries to the Programme Committee
aimlpc@csse.uwa.edu.au

Last modified: 04 Feb 05