[DL] (no subject)

[Guido Governatori]

Apologies for multiple copies

[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>

                    SECOND CALL FOR PAPERS

                          AiML-2006
                   Advances in Modal Logic
           25-28 September 2006, Noosa (Queensland, Australia)

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
    o complexity and decidability of modal and temporal logics
    o modal and temporal logic programming
    o model checking
    o theorem proving for modal logics
-  history of modal logic
-  philosophy of modal logic
-  specific instances of modal logic
    o description logicsAdvances in Modal Logic
    o dynamic logics and other process logics
    o epistemic and deontic logics
    o modal logics for agent-based systems
    o modal logic and game theory
    o modal logic and grammar formalisms
    o provability and interpretability logics
    o spatial and temporal logics
-  theoretical aspects of modal logic
    o algebraic and coalgebraic perspective on modal logic
    o completeness and canonicity
    o correspondence and duality theory
    o many-dimensional modal logics
    o modal fixed point logics
    o model theory of modal logic
    o proof theory of modal logic
-  variations of modal logic
    o hybrid logic
    o intuitionistic logic
    o monotonic modal logic
    o substructural logic

Papers on related subjects will also be considered.

INVITED SPEAKERS
Invited speakers will include:

  o Renate Schmidt (Manchester, UK)
  o Valentin Shehtman (Moscow, Russia)
  o Igor Walukiewicz (Bordeaux, France)
  o Alberto Zanardo (Padua, Italy)

PAPER SUBMISSION 

The Proceedings of AiML 2006 will be published by College Publications
(http://www.dcs.kcl.ac.uk/kcl-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.  Detailed
instructions will be available at www.itee.uq.edu.au/~aiml06/.

To be considered, submissions must be received no later than 27 March
2006.  Authors should submit their papers electronically using the
submission page at

http://www.easychair.org/AiML-2006/

The 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 at www.itee.uq.edu.au/~aiml06/. At
least one author of each accepted paper must register for and attend
the conference to present the paper.

PROGRAMME COMMITTEE
Alessandro Artale     (Free University of Bolzano, Italy)
Alexandru Baltag      (University of Oxford, UK)
Guram Bezhanishvili   (New Mexico State University, USA)
Julian Bradfield      (University of Edinburgh, UK)
Melvin Fitting        (City University of New York, USA)
Guido Governatori     (University of Queensland, Australia)
Silvio Ghilardi       (University of Milano, Italy)
Rob Goldblatt         (Victoria University Wellington, New Zealand)
Valentin Goranko      (University of the Witwatersrand, South Africa)
Rajeev Gore           (Australian National University, Australia)
Ramon Jansana         (University of Barcelona, Spain)
Alexander Kurz        (University of Leicester, UK)
Carsten Lutz          (Dresden University of Technology, Germany)
Maarten Marx          (University of Amsterdam, Netherlands)
Martin Otto           (Technical University of Darmstadt, Germany)
Graham Priest         (University of Melbourne, Australia)
Mark Reynolds         (University of Western Australia, Australia)
Ildiko Sain           (Hungarian Academy of Sciences, Hungary)
Renate Schmidt        (University of Manchester, UK)
Jerry Seligman        (University of Auckland, New Zealand)
Nobu-Yuki Suzuki      (Shizuoka University, Japan)
Heinrich Wansing      (Dresden University of Technology, Germany)
Frank Wolter          (University of Liverpool, UK)
Michael Zakharyaschev (Birkbeck College, London, UK)

PROGRAMME CO-CHAIRS
Ian Hodkinson
Imperial College London
imh(at)doc.ic.ac.uk

Yde Venema
University of Amsterdam
yde(at)science.uva.nl

LOCAL ORGANIZERS
Guido Governatori
School of Information Technology and Electrical Engineering
The University of Queensland
guido at itee.uq.edu.au

IMPORTANT DATES
Submission deadline: 27 March 2006
Acceptance notification: 26 May 2006
Final version for conference due: 30 June 2006
Conference: 25-28 September 2006

CONFERENCE LOCATION
Advances in Modal Logic 2006 will be held at Australis Noosa Lakes
Conference Centre located at Noosaville, Noosa, Sunshine Coast,
Queensland.

Noosa and Noosa National Park are legendary in Australia. The
protected cove beach virtually guarantees perfect surf year round and
the stroll around the headland through the National Park rewards you
with spectacular seascapes. Hastings Street, the hub of Noosa, is a
mecca for designer label shoppers and discerning diners.

For more details, see http://www.tourismnoosa.com.au/

CO-LOCATED EVENT
AiML 2006 will be colocated with The Annual Meeting of the
Australasian Association for Logic, to be held on 23-24 September
2006.

FURTHER INFORMATION
Information about AiML-2006 can be obtained at
http://www.itee.uq.edu.au/~aiml06/

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

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