[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<>[]<br><div id=":eg" class="ii gt">
<br>
AiML-2010: FIRST CALL FOR PAPERS<br>
<br>
8-TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC<br>
MOSCOW, AUGUST 25-29, 2010<br>
<br>
<a href="http://aiml10.mi.ras.ru/" target="_blank">http://aiml10.mi.ras.ru/</a><br>
<br>
Advances in Modal Logic is an initiative aimed at presenting<br>
the state of the art in modal logic and its various applications. The<br>
initiative consists of a conference series together with volumes based on<br>
the conferences. Information about the AiML series can be obtained at<br>
<a href="http://www.aiml.net/" target="_blank">http://www.aiml.net</a> <<a href="http://www.aiml.net/" target="_blank">http://www.aiml.net</a>> . AiML-2010 is the eighth<br>
conference in the series.<br>
<br>
TOPICS<br>
We invite submission on all aspects of modal logics, including:<br>
<br>
- history of modal logic<br>
- philosophy of modal logic<br>
- applications of modal logic<br>
- computational aspects of modal logic<br>
+ complexity and decidability of modal and temporal logics<br>
+ modal and temporal logic programming<br>
+ model checking<br>
+ theorem proving for modal logics<br>
- theoretical aspects of modal logic<br>
+ algebraic and categorical perspectives on modal logic<br>
+ coalgebraic modal logic<br>
+ completeness and canonicity<br>
+ correspondence and duality theory<br>
+ many-dimensional modal logics<br>
+ modal fixed point logics<br>
+ model theory of modal logic<br>
+ proof theory of modal logic<br>
- specific instances and variations of modal logic<br>
+ description logics<br>
+ dynamic logics and other process logics<br>
+ epistemic and deontic logics<br>
+ modal logics for agent-based systems<br>
+ modal logic and game theory<br>
+ modal logic and grammar formalisms<br>
+ provability and interpretability logics<br>
+ spatial and temporal logics<br>
+ hybrid logic<br>
+ intuitionistic logic<br>
+ substructural logics<br>
<br>
Papers on related subjects will also be considered.<br>
<br>
<br>
INVITED SPEAKERS: TO BE ANNOUNCED<br>
<br>
PAPER SUBMISSIONS:<br>
There will be two types of submissions to AiML-2010: <br>
<br>
(1) Full papers for publication in the proceedings and presentation at the<br>
conference.<br>
<br>
(2) Abstracts for short presentation only.<br>
<br>
Both types of papers should be submitted electronically using the<br>
EasyChair submission page at<br>
<br>
<a href="http://www.easychair.org/conferences/?conf=aiml2010" target="_blank">http://www.easychair.org/conferences/?conf=aiml2010</a><br>
<br>
<br>
(1) FULL PAPERS:<br>
Authors are invited to submit, for presentation at the conference and<br>
publication in the proceedings, full papers reporting on original research<br>
and not submitted elsewhere. The proceedings of AiML'2010 will be published<br>
by College Publications<br>
<br>
<a href="http://www.collegepublications.co.uk/" target="_blank">http://www.collegepublications.co.uk</a><br>
<br>
in a volume to be made available at the conference.<br>
<br>
The submissions should be at most 15 pages, with an optional technical<br>
appendix of up to 5 pages, together with a plain-text abstract of 100-200<br>
words. The submissions must be typeset in LaTex, using a style file and<br>
template that will be provided on the AiML'2010 website<br>
<a href="http://aiml10.mi.ras.ru/" target="_blank">http://aiml10.mi.ras.ru/</a> in due time.<br>
<br>
At least one author of each accepted paper must register for, and attend,<br>
the conference to present the paper.<br>
<br>
(2) ABSTRACTS:<br>
These should be at most 5 pages. They may describe preliminary results, work<br>
in progress etc., and will be subject to light reviewing. The accepted<br>
abstracts will be made available at the conference, and the authors will<br>
have the opportunity to make short presentations (of up to 15 minutes) on<br>
them.<br>
<br>
<br>
PROGRAMME COMMITTEE:<br>
<br>
Carlos Areces (INRIA, Nancy-Grand Est, France)<br>
Philippe Balbiani (IRIT, Toulouse, France)<br>
Alexandru Baltag (University of Oxford, UK)<br>
Lev Beklemishev (Moscow State University, Russia)<br>
Johan van Benthem (ILLC, University of Amsterdam, The Netherlands)<br>
Guram Bezhanishvili (New Mexico State University, USA)<br>
Torben Brauner (Roskilde University, Denmark)<br>
Patrick Blackburn (INRIA, Nancy-Grand Est, France)<br>
Balder ten Cate (LSV, ENS Cachan, France)<br>
Stephane Demri (LSV, ENS Cachan, France)<br>
Melvin Fitting (Lehman College, CUNY, USA)<br>
Silvio Ghilardi (University of Milano, Italy)<br>
Robert Goldblatt (Victoria University of Wellington, New Zealand)<br>
Rajeev Gore (The Australian National University, Australia)<br>
Andreas Herzig (IRIT, Toulouse, France)<br>
Ian Hodkinson (Imperial College London, UK)<br>
Wiebe van der Hoek (University of Liverpool, UK)<br>
Rosalie Iemhoff (University of Utrecht, The Netherlands)<br>
Alexander Kurz (University of Leicester, UK)<br>
Martin Lange (Ludwig-Maximilians University, Munich, Germany)<br>
Carsten Lutz (University of Bremen, Germany)<br>
Larisa Maksimova (Sobolev Inst. of Mathematics, Novosibirsk, Russia)<br>
Edwin Mares (Victoria University of Wellington, New Zealand)<br>
Larry Moss (Indiana University, USA)<br>
Martin Otto (Technical University of Darmstadt, Germany)<br>
Dirk Pattinson (Imperial College London, UK)<br>
Mark Reynolds (University of Western Australia, Australia)<br>
Renate Schmidt (University of Manchester, UK)<br>
Nobu-Yuki Suzuki (Shizuoka University, Japan)<br>
Yde Venema (ILLC, University of Amsterdam, The Netherlands)<br>
Igor Walukiewicz (LABRI, Bordeaux, France)<br>
Frank Wolter (University of Liverpool, UK)<br>
Michael Zakharyaschev (Birkbeck College, London, UK)<br>
<br>
<br>
PROGRAMME COMMITTEE CO-CHAIRS:<br>
Valentin Shehtman (Moscow State University, Russia)<br>
Valentin Goranko (Technical University of Denmark, Denmark)<br>
<br>
ORGANIZING COMMITTEE CHAIR:<br>
Lev Beklemishev (Steklov Mathematical Institute, Moscow, Russia)<br>
<br>
IMPORTANT DATES:<br>
Full papers submission deadline: 16 March 2010<br>
Full papers acceptance notification: 21 May 2010<br>
Short presentations submission deadline: 1 June 2010<br>
Short presentations acceptance notification: 21 June 2010<br>
Final version of full papers and abstracts due: 30 June 2010<br>
Conference: 25-29 August 2010.<br>
<br>
<br>
CONFERENCE LOCATION:<br>
Advances in Modal Logic 2010 will be held at<br>
Steklov Mathematical Institute, Moscow<br>
<br>
<br>
FURTHER INFORMATION:<br>
AiML 2010 website: <a href="http://aiml10.mi.ras.ru/" target="_blank">http://aiml10.mi.ras.ru/</a><br>
<br>
ENQUIRIES:<br>
E-mail enquiries should be directed respectively to the chair of the<br>
organizing committee, sent to lbekl(at)yandex(dot)ru,<br>
or to the PC co-chairs, sent to <a href="mailto:aimolog2010@gmail.com">aimolog2010@gmail.com</a>.<br>
</div>