Logic List Mailing Archive

AiML 2022: Advances in Modal Logic

22-25 Aug 2022
Rennes, France

14TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC
RENNES, 22 AUGUST -- 25 AUGUST 2022


***Submissions for short papers open until May 23rd AoE***



Advances in Modal Logic is an initiative aimed at presenting the state of
the art in modal logic and its various applications. The initiative
consists of a conference series together with volumes based on the
conferences.



AiML 2022 will be co-located with the Workshop on Logical Aspects of
Multi-Agent Systems and Strategic Reasoning (LAMAS&SR 2022).



WEBPAGES



AiML 2022: http://www.aiml.net
<https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Fwww.aiml.net%2F&data=05%7C01%7CDavid.FernandezDuque%40UGent.be%7C61efbe07f1ac4b55300408da3724d28b%7Cd7811cdeecef496c8f91a1786241b99c%7C1%7C0%7C637882928528059298%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=mbCRHYUdNglXVPMiBqz9I3z%2FAiizOEZPrkpnyQJKe6U%3D&reserved=0>

AiML Series: https://aiml2022.irisa.fr/
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Faiml2022.irisa.fr%2F&data=05%7C01%7CDavid.FernandezDuque%40UGent.be%7C61efbe07f1ac4b55300408da3724d28b%7Cd7811cdeecef496c8f91a1786241b99c%7C1%7C0%7C637882928528059298%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=d1YWSbWio70gkZyIKFSk8j%2BqU0sUAUHf2jxLotJ%2FweI%3D&reserved=0>

LAMAS&SR: https://lamassr.git! hub.io/
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Flamassr.github.io%2F&data=05%7C01%7CDavid.FernandezDuque%40UGent.be%7C61efbe07f1ac4b55300408da3724d28b%7Cd7811cdeecef496c8f91a1786241b99c%7C1%7C0%7C637882928528059298%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=%2F5jhtuy3hiTZJvLxy1pr0PoHK7g0qKMnBksTL21xw8s%3D&reserved=0>



TOPICS



We invite submissions on all aspects of modal logic, including:



§  history of modal logic

§  philosophy of modal logic

§  applications of modal logic

§  computational aspects of modal logic

-       complexity and decidability of

-       modal and temporal logics

-       modal and temporal logic programming

-       model checking

-       model generation

-       theorem proving for modal logics

§  theoretical aspects of modal logic

-       topological/algebraic/categorical perspectives on modal logic

-       coalgebraic modal logic

-       completeness and canonicity

-       correspondence and duality theory

-       many-dimensional modal logics

-       modal fixed point logics

-       model theory of modal logic

-       proof theory of modal logic

§  specific instances and variations of modal logic

-       description logics

-       modal logics over non-boolean bases

-       dynamic logics and other process logics

-       epistemic and deontic logics

-       modal logics for agent-based systems

-       modal logic and game theory

-       modal logic and grammar formalisms

-       provability and interpretability logics

-       spatial and temporal logics

-       hybrid logic

-       intuitionistic logic

-       substructural logics

-       computationally light fragments of all such logics



Papers on related subjects will also be considered.



SUBMISSION OF EXTENDED ABSTRACTS FOR SHORT PRESENTATIONS



We invite the submission of extended abstracts intended for presentation at
the conference but not for the published proceedings.



Extended abstracts of up to 5 pages, typeset in the AiML LaTeX style, will
be subject to light reviewing. The accepted submissions will be made
available at the conference, and the authors will have the opportunity to
give short presentations (of up to 15 minutes) on them. At least one author
of each accepted short presentation must register for and attend the
conference.


These extended abstracts should be submitted electronically using the
EasyChair submission page. For more information, go to



https://aiml2022.irisa.fr/#call-for-papers
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Faiml2022.irisa.fr%2F%23call-for-papers&data=05%7C01%7CDavid.FernandezDuque%40UGent.be%7C61efbe07f1ac4b55300408da3724d28b%7Cd7811cdeecef496c8f91a1786241b99c%7C1%7C0%7C637882928528059298%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=WOqPFRrFPKH5SJ4F0kFGS5%2BR7RFSoCZZQcECZWNmMsA%3D&reserved=0>



INVITED SPEAKERS

Willem Conradie, University of the Witwatersrand

Wesley Holliday, University of Berkeley

Francesca Poggiolesi, Sorbonne and CNRS

Rineke Verbrugge, University of Groningen (joint LAMAS&SR speaker)



LOCAL ORGANIZING COMMITTEE



Sophie Pinchinat (chair)

Sophie Maupile

Dylan Bellier

Pierre Le Scornet

Alexandre Terefenko



PROGRAMME COMMITTEE CHAIRS



David Fernández Duque, Ghent University and ICS of the Czech Academy of
Sciences

Alessandra Palmigiano, Vrije Universiteit Amsterdam and University of
Johannesburg



PROGRAMME COMMITTEE

Erman Acar, VU Amsterdam

Bahareh Afshari, University of Amsterdam

Natasha Alechina, University of Utrecht

Steve Awodey, Carnegie Mellon

Philippe Balbiani, CNRS, Toulouse University

Marta Bilkova, Academy of Sciences of the Czech Republic

Xavier Caicedo, University of los Andes

Walter Carnielli, State University of Campinas

Agata Ciabattoni, TU Wien

Ivano Ciardelli, University of Munich

Willem Conradie, University of the Witwatersrand

Laurent De Rudder, University of Liege

Tommaso Flaminio, Spanish National Research Council

Sabine Frittella, INSA Centre Val de Loire

Nick Galatos, University of Denver

Sam van Gool, IRIF, Université de Paris

Giuseppe Greco, VU Amsterdam

Thomas Icard, Stanford University

Ramon Jansana University of Barcelona

Peter Jipsen, Chapman University

Joost Joosten, University of Barcelona

Stanislav Kikot, Sber Automotive Technologies

Philip Kremer, University of Toronto

Alexander Kurz, Chapman University

Roman Kuznets, TU Wien

Fei Liang, University of Shandong

Minghui Ma, Sun Yat-Sen University, Guangzhou

Morteza Moniri, Shahid Beheshti University

Tommaso Moraschini, University of Barcelona

Drew Moshier, Chapman University, Orange CA

Eric Pacuit, University of Maryland

Fedor Pakhomov, Ghent University

Sophie Pinchinat, IRISA, University of Rennes I

Daniele Porello, University of Genova

Vit Puncochar, Academy of Sciences of the Czech Republic

Revantha Ramanayake, University of Groningen

Christian Retoré, University of Montpellier

Umberto Rivieccio, Universidade Federal do Rio Grande do
Norte

Claudette Robinson, University of Johannesburg

Gabriel Sandu, University of Helsinki

Igor Sedlar, Academy of Sciences of the Czech Republic

Ilya Shapirovsky, Institute for the Information Transmission Problems

Apostolos Tzimoulis, VU Amsterdam

Sara Uckelman, Durham University

Jouko Väänänen, University of Helsinki

Heinrich Wansing, University of Bochum

Frank Wolter, University of Liverpool







IMPORTANT DATES



Short presentations submission deadline: 23 May 2022

Short presentations acceptance notification: 6 June 2022

Final version of full papers and short presentations due: 13 June 2022

Conference: 22 August -- 25 August 2022



ENQUIRIES



E-mail enquiries should be directed to the PC chairs, sent to



david.fernandezduque@ugent.be

alessandra.palmigiano@vu.nl
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam