<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;" class="">(sorry for multiple copies)<br class=""><br class="">AiML-2016: 2ND CALL FOR PAPERS<br class=""><br class="">11TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC<br class="">BUDAPEST, 29 AUGUST -- 2 SEPTEMBER 2016<br class=""><br class=""><span class="Apple-tab-span" style="white-space: pre;"> </span> <a href="http://phil.elte.hu/aiml2016/" class="">http://phil.elte.hu/aiml2016/</a><br class=""><br class=""><br class="">Advances in Modal Logic is an initiative aimed at presenting<br class="">the state of the art in modal logic and its various applications. The<br class="">initiative consists of a conference series together with volumes based <br class="">on the conferences. Information about the AiML series can be obtained <br class="">at <a href="http://www.aiml.net" class="">http://www.aiml.net</a>. AiML-2016 is the 11th conference in the series.<br class=""><br class="">TOPICS<br class="">We invite submission on all aspects of modal logic, including:<br class=""><br class="">- history of modal logic<br class="">- philosophy of modal logic<br class="">- applications of modal logic<br class="">- computational aspects of modal logic (complexity and decidability of<br class=""> modal and temporal logics, modal and temporal logic programming,<br class=""> model checking, model generation, theorem proving for modal logics)<br class="">- theoretical aspects of modal logic (algebraic/categorical perspectives<br class=""> on modal logic, coalgebraic modal logic, completeness and canonicity,<br class=""> correspondence and duality theory, many-dimensional modal logics,<br class=""> modal fixed point logics, model theory of modal logic, proof theory<br class=""> of modal logic)<br class="">- specific instances and variations of modal logic (description logics,<br class=""> modal logics over non-boolean bases, dynamic logics and other process<br class=""> logics, epistemic and deontic logics, modal logics for agent-based<br class=""> systems, modal logic and game theory, modal logic and grammar<br class=""> formalisms, provability and interpretability logics, spatial and<br class=""> temporal logics, hybrid logic, intuitionistic logic, substructural<br class=""> logics, computationally light fragments of all such logics)<br class=""><br class="">Papers on related subjects will also be considered.<br class=""><br class="">PAPER SUBMISSIONS<br class="">There will be two types of submissions to AiML-2016:<br class=""><br class="">(1) Full papers for publication in the proceedings and presentation at the<br class="">conference.<br class=""><br class="">(2) Short presentations intended for presentation at the conference<br class="">but not for the published proceedings.<br class=""><br class="">Both types of papers should be submitted electronically using the<br class="">EasyChair submission page at<br class=""><br class=""><span class="Apple-tab-span" style="white-space: pre;"> </span> <a href="https://easychair.org/conferences/?conf=aiml16" class="">https://easychair.org/conferences/?conf=aiml16</a><br class=""><br class="">At least one author of each accepted paper or short presentation must<br class="">register for and attend the conference.<br class=""><br class="">(1) FULL PAPERS<br class="">Authors are invited to submit, for presentation at the conference and<br class="">publication in the proceedings, full papers reporting on original <br class="">research and not submitted elsewhere. The proceedings of AiML-2016 will <br class="">be published by College Publications<br class=""><br class=""> <a href="http://www.collegepublications.co.uk" class="">http://www.collegepublications.co.uk</a><br class=""><br class="">in a volume to be made available at the conference.<br class=""><br class="">The submissions should be at most 15 pages, with an optional technical<br class="">appendix of up to 5 pages, together with a plain-text abstract of <br class="">100-200 words. The submissions must be typeset in LaTeX, using the style <br class="">files and template that will be provided on the AiML-2016 website<br class=""><a href="http://phil.elte.hu/aiml2016/" class="">http://phil.elte.hu/aiml2016/</a> in due time.<br class=""><br class="">We also ask authors of full papers to submit the abstract in plain <br class="">text via EasyChair by 10 March.<br class=""><br class="">(2) SHORT PRESENTATIONS.<br class="">These should be at most 5 pages. They may describe preliminary<br class="">results, work in progress etc., and will be subject to light reviewing. <br class="">The accepted submissions will be made available at the conference, and the<br class="">authors will have the opportunity to give short presentations <br class="">(of up to 15 minutes) on them.<br class=""><br class="">INVITED SPEAKERS INCLUDE: <br class="">Kit Fine (New York University, USA)<br class="">Sonja Smets (ILLC, Universiteit van Amsterdam)<br class="">Yde Venema (ILLC, Universiteit van Amsterdam)<br class="">Guram Bezhanishvili (New Mexico State University)<br class=""><br class="">LOCAL ORGANIZING COMMITTEE<br class="">Tamas Bitai (Eotvos University, Budapest, Hungary)<br class="">Reka Markovich (Eotvos University, Budapest, Hungary)<br class="">Andras Mate (Eotvos University, Budapest, Hungary)<br class="">Péter Mekis (Eotvos University, Budapest, Hungary)<br class="">Attila Molnar (Eotvos University, Budapest, Hungary)<br class="">Gergely Szekely (Alfred Rényi Institute of Mathematics, Hungarian Academy of Sciences)<br class=""><br class="">PROGRAMME COMMITTEE<br class="">Natasha Alechina (University of Nottingham)<br class="">Carlos Areces (FaMAF, Universidad Nacional de Córdoba)<br class="">Philippe Balbiani (IRIT, Toulouse, France)<br class="">Alexandru Baltag (FNWI ILLC)<br class="">Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences in Moscow)<br class="">Thomas Bolander (Technical University of Denmark)<br class="">Torben Brauner (Roskilde University, Denmark)<br class="">Serenella Cerrito (Laboratoire IBISC, Evry France)<br class="">Stéphane Demri (LSV, CNRS, ENS Cachan)<br class="">Valeria de Paiva (Nuance, USA)<br class="">David Fernandez-Duque (Instituto Tecnológico Autónomo de México)<br class="">Melvin Fitting (Lehman College, CUNY, USA)<br class="">David Gabelaia (The Free University of Tbilisi, Tbilisi, Georgia)<br class="">Silvio Ghilardi (Università degli Studi di Milano, Italy)<br class="">Valentin Goranko (Stockholm University)<br class="">Rajeev Gore (The Australian National University)<br class="">Andreas Herzig (IRIT, Toulouse, France)<br class="">Rosalie Iemhoff (Utrecht University)<br class="">Agi Kurucz (King's College London)<br class="">Roman Kuznets (TU Wien)<br class="">Martin Lange (University of Kassel, Germany)<br class="">Carsten Lutz (Universität Bremen)<br class="">Andras Mate (Eotvos University, Budapest, Hungary)<br class="">Angelo Montanari (University of Udine)<br class="">Larry Moss (Indiana University, USA)<br class="">Sara Negri (University of Helsinki)<br class="">Sergei Odintsov (Novosibirsk State University)<br class="">Hiroakira Ono (Japan Advanced Insitute of Science and Technology)<br class="">Mark Reynolds (The University of Western Australia)<br class="">Ilya Shapirovsky (Institute for the Information Transmission Problems)<br class="">Renate Schmidt (University of Manchester)<br class="">Valentin Shehtman (Institute for the Information Transmission Problems)<br class="">Viorica Sofronie-Stokkermans (Universitat Koblenz-Landau) <br class="">Thomas Studer (Universität Bern)<br class="">Rineke Verbrugge (Groningen, NL) <br class="">Heinrich Wansing (Ruhr University Bochum)<br class="">Michael Zakharyaschev (Birkbeck College London, UK)<br class=""><br class=""><br class="">PROGRAMME COMMITTEE CO-CHAIRS<br class="">Lev Beklemishev (Steklov Mathematical Institute of Russian Academy of Sciences in Moscow)<br class="">Stephane Demri (LSV, CNRS, ENS Cachan)<br class=""><br class="">IMPORTANT DATES<br class=""><br class="">Abstracts of full papers submission deadline: 10 March 2016<br class="">Full papers submission deadline: 17 March 2016<br class="">Full papers acceptance notification: 14 May 2016<br class="">Short presentations submission deadline: 16 May 2016<br class="">Short presentations acceptance notification: 30 May 2016<br class="">Final version of full papers and short presentations due: 8 June 2016<br class="">Conference: 29 August -- 2 September 2016 <br class=""><br class="">FURTHER INFORMATION. Please see <a href="http://phil.elte.hu/aiml2016/?page=call_for_papers" class="">http://phil.elte.hu/aiml2016/?page=call_for_papers</a> <br class=""><br class="">ENQUIRIES. E-mail enquiries should be directed to the PC co-chairs,<br class="">sent to <a href="mailto:aiml16@easychair.org" class="">aiml16@easychair.org</a></body></html>