About AiML

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.

The conference is the main international forum at which research on all aspects of modal logic is presented. The Advances in Modal Logic Initiative was founded in 1995 and the first AiML Conference was held in 1996 in Berlin, Germany. Since then the AiML Conference has been organised on an bi-annual basis with previous meetings being held in 1998 in Uppsala, Sweden, in 2000 in Leipzig, Germany (jointly with ICTL-2000), in 2002 Toulouse, France, in 2004 in Manchester, UK, and in 2006 in Noosa, Australia.

In 2008, Advances in Modal Logic will be organized by LORIA, le Laboratoire Lorrain de Recherche en Informatique et ses Applications (Lorraine Laboratory of IT Research and its Applications), in Nancy, France.





Advances in Modal Logic 2008 is sponsored by

[loria]   [inria]   [cugn]

[uhp]   [nancy2]

[Lorraine]   [Nancy]


What's New

Important Dates