<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"><div><br></div>*** Apologies for cross-postings ****<br><br>***** DEADLINE EXTENSION ***** AiML-2014 **************<br><br>In response to a number of requests for extension, the<br>deadline for submitting both abstracts and full papers has<br>been *** EXTENDED*** to 9 April 2014<br><br>**************************************************************<br><br>10th INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC,<br>GRONINGEN, 5-8 AUGUST, 2014<br><br> <a href="http://www.philos.rug.nl/AiML2014/">http://www.philos.rug.nl/AiML2014/</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">http://www.aiml.net</a>. AiML-2014 is the tenth conference in the series.<br><br>TOPICS<br>We invite submission on all aspects of modal logic, including:<br><br>- history of modal logic<br>- philosophy of modal logic<br>- applications of modal logic<br>- computational aspects of modal logic (complexity and decidability of<br> modal and temporal logics, modal and temporal logic programming,<br> model checking, model generation, theorem proving for modal logics)<br>- theoretical aspects of modal logic (algebraic/categorical perspectives<br> on modal logic, coalgebraic modal logic, completeness and canonicity,<br> correspondence and duality theory, many-dimensional modal logics,<br> modal fixed point logics, model theory of modal logic, proof theory<br> of modal logic)<br>- specific instances and variations of modal logic (description logics,<br> modal logics over non-boolean bases, dynamic logics and other process<br> logics, epistemic and deontic logics, modal logics for agent-based<br> systems, modal logic and game theory, modal logic and grammar<br> formalisms, provability and interpretability logics, spatial and<br> temporal logics, hybrid logic, intuitionistic logic, substructural<br> logics, computationally light fragments of all such logics)<br><br>Papers on related subjects will also be considered.<br><br>INVITED SPEAKERS:<br> Franz Baader (TU Dresden, Germany)<br> Stephane Demri (New York University, US & CNRS, France)<br> Joseph Halpern (Cornell University, US)<br> Sara Negri (University of Helsinki, Finland)<br> Frank Wolter (University of Liverpool, UK)<br><br>PAPER SUBMISSIONS<br>There will be two types of submissions to AiML-2014:<br><br>(1) Full papers for publication in the proceedings and presentation at the<br>conference.<br><br>(2) Short presentations intended for presentation at the conference<br>but not for the published proceedings.<br><br>Both types of papers should be submitted electronically using the<br>EasyChair submission page at<br><br> <a href="https://www.easychair.org/account/signin.cgi?conf=aiml2014">https://www.easychair.org/account/signin.cgi?conf=aiml2014</a><br><br>At least one author of each accepted paper or short presentation must<br>register for and attend the conference.<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-2014 will be published<br>by College Publications<br><br> <a href="http://www.collegepublications.co.uk">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 the style files and<br>template that are provided on the AiML-2014 website<br><a href="http://www.philos.rug.nl/AiML2014/">http://www.philos.rug.nl/AiML2014/</a><br><br>We also ask authors of full papers to submit the abstract in plain text via<br>EasyChair by 14 March.<br><br>(2) SHORT PRESENTATIONS.<br>These should be at most 5 pages. They may describe preliminary<br>results, work in progress etc., and will be subject to light reviewing. The<br>accepted submissions will be made available at the conference, and the<br>authors will have the opportunity to give short presentations (of up to 15<br>minutes) on them.<br><br>IMPORTANT DATES<br><br>Abstracts and full papers submission deadline *** EXTENDED ***: 9 April 2014<br>Full papers acceptance notification: 19 May 2014<br>Short presentations submission deadline: 21 May 2014<br>Short presentations acceptance notification: 2 June 2014<br>Final version of full papers and short presentations due: 9 June 2014<br>Conference: 5-8 August, 2014.<br><br>LOCAL ORGANIZING COMMITTEE<br> Dave Gilbert<br> Barteld Kooi<br> Bouke Kuijer<br> Paolo Maffezioli<br> Allard Tamminga<br><br>PROGRAMME COMMITTEE<br> Carlos Areces (FaMAF, Universitad Nacional de Cordoba, Argentina)<br> Alexandru Baltag (ILLC, University of Amsterdam, The Netherlands)<br> Nick Bezhanishvili (Utrecht University, The Netherlands)<br> Patrick Blackburn (Roskilde University, Denmark)<br> Hans van Ditmarsch (LORIA, France)<br> David Fernández-Duque (ITAM, Mexico)<br> Melvin Fitting (Lehman College, CUNY, USA)<br> Mai Gehrke (LIAFA, Université Paris Diderot, France)<br> Silvio Ghilardi (Università degli Studi di Milano, Italy)<br> Rob Goldblatt (Victoria University of Wellington, New Zealand)<br> Valentin Goranko (Technical University of Denmark)<br> Guido Governatori (NICTA Queensland, Australia)<br> Andreas Herzig (IRIT, Toulouse, France)<br> Rosalie Iemhoff (Utrecht University, The Netherlands)<br> Roman Kontchakov (Birkbeck College London, UK)<br> Barteld Kooi (University of Groningen)<br> Marcus Kracht (Universität Bielefeld, Germany)<br> Alexander Kurz (University of Leicester, UK)<br> Carsten Lutz (Universität Bremen, Germany)<br> Jakub Michaliszyn (Imperial College London, UK)<br> Larry Moss (Indiana University, USA)<br> Hiroakira Ono (Japan Advanced Institute of Science and Technology)<br> Revantha Ramanayake (Technical University of Vienna)<br> Mark Reynolds (University of Western Australia)<br> Vladimir Rybakov (Manchester Metropolitan University, UK)<br> Renate Schmidt (University of Manchester, UK)<br> Jeremy Seligman (University of Auckland, New Zealand)<br> Ilya Shapirovsky (Institute for Information Transmission Problems, Moscow, Russia)<br> Valentin Shehtman (Moscow State University, Russia)<br> Dimiter Vakarelov (Sofia University, Bulgaria)<br> Yde Venema (ILLC, University of Amsterdam, The Netherlands)<br> Heinrich Wansing (Ruhr University Bochum, Germany)<br> Michael Zakharyaschev (Birkbeck College London, UK)<br><br>PROGRAMME COMMITTEE CO-CHAIRS<br> Rajeev Gore (The Australian National University, Australia)<br> Agi Kurucz (King's College London, UK)<br><br>FURTHER INFORMATION. Please see <a href="http://www.philos.rug.nl/AiML2014">http://www.philos.rug.nl/AiML2014</a><br><br>ENQUIRIES. E-mail enquiries should be directed to the PC co-chairs,<br>sent to <a href="mailto:aiml2014@easychair.org">aiml2014@easychair.org</a></body></html>