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

***Registration open until 10 August 2022***

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).

REGISTRATION FEES

Student

Standard

Standard rate

183.34

275€



REGISTRATION LINK

Please visit https://aiml2022.irisa.fr/registration/



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%7C818998a578e14410927208da37280ae2%7Cd7811cdeecef496c8f91a1786241b99c%7C1%7C0%7C637882942373391983%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=PiL2DBvpMkOjCzU3pNZ77lXP%2FegGhKJTsGSqhCg2PPI%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%7C818998a578e14410927208da37280ae2%7Cd7811cdeecef496c8f91a1786241b99c%7C1%7C0%7C637882942373391983%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=NzR2k6hShFuKi%2B2%2FLZLpxwWnUWKwv9%2FdNvIvdNLjbFI%3D&reserved=0>

LAMAS&SR: https://lamassr.github.io/
<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Flamassr.github.io%2F&data=05%7C01%7CDavid.FernandezDuque%40ugent.be%7C818998a578e14410927208da37280ae2%7Cd7811cdeecef496c8f91a1786241b99c%7C1%7C0%7C637882942373391983%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C3000%7C%7C%7C&sdata=fpxlf%2Ftd5FB59swZ3j8RQ20XhjqDnd6cC7ElHcIag%2BI%3D&reserved=0>



TOPICS



§  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



INVITED SPEAKERS

Willem Conradie, University of the Witwatersrand

Wesley Holliday, University of California, 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



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