[DL] AiML 2024 -- Final Call for Papers

[Hackl, Andrea]

AiML 2024: 15TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC
PRAGUE, CZECH REPUBLIC, 19--23 AUGUST 2024 
=====================================================================
Final call for short presentation submissions

***Submissions for short papers open until May 30th 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 2024 will be co-located with the 21st International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2024).


WEBPAGES
-------------------------------------

AiML 2024: https://www.cs.cas.cz/aiml2024/
AiML Series: http://www.aiml.net/
RAMiCS 2024: https://ramics-conf.github.io/2024/


TOPICS
-------------------------------------

We invite submissions on all aspects of modal and related logic, including (but not limited to):

- proof theory, semantics or automated deduction
- applications of modal logic
- history of modal logic
- philosophy of modal logic
- computational or theoretical aspects
- 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
-------------------------------------

Alexandru Baltag (University of Amsterdam)
Marta Bílková (Czech Academy of Sciences)
David Fernández-Duque (University of Barcelona)
Claudia Nalon (University of Brasília)


PAPER SUBMISSIONS
-------------------------------------

SHORT PRESENTATION SUBMISSIONS

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.

Papers should be submitted electronically using the EasyChair submission page:

https://easychair.org/conferences/?conf=aiml2024

For more information please visit:

https://www.cs.cas.cz/aiml2024/#submit


IMPORTANT DATES
-------------------------------------

Short presentations submission deadline: 30 May
Short presentations acceptance notification: 14 June
Final version of full papers and short presentations due: 21 June
Registration deadline: t.b.a.
Conference: 19–23 August 2024


PROGRAMME COMMITTEE CHAIRS
-------------------------------------

Agata Ciabattoni (TU Wien)
David Gabelaia (TSU Razmadze Mathematical Institute)


PROGRAMME COMMITTEE
-------------------------------------

Philippe Balbiani (Institut de Recherche en Informatique de Toulouse)
Lev Beklemishev (Steklov Mathematical Institute)
Nick Bezhanishvili (ILLC, University of Amsterdam)
Agata Ciabattoni (TU Wien)
Willem Conradie (University of the Witwatersrand)
Tommaso Flaminio (IIIA - CSIC)
David Gabelaia (TSU Razmadze Mathematical Institute)
Silvio Ghilardi (University of Milan)
Nina Gierasimczuk (Technical University of Denmark)
Valentin Goranko (Stockholm University)
Rajeev Gore Wesley Holliday (University of California, Berkeley)
John Horty (University of Maryland)
Emil Jeřábek (Institute of Mathematics, Czech Academy of Sciences)
Clemens Kupke (University of Strathclyde)
Agi Kurucz (King's College London)
Roman Kuznets (TU Wien)
Emiliano Lorini (Institut de Recherche en Informatique de Toulouse)
Tim Lyon (Technische Universität Dresden)
Tommaso Moraschini (Universitat de Barcelona)
Larry Moss (Indiana University Bloomington)
Sara Negri (University of Genova)
Nicola Olivetti (Aix-Marseille Université)
Alessandra Palmigiano (VU Amsterdam)
Xavier Parent (TU Wien)
Elaine Pimentel (UCL)
Vit Punčochář (Institute of Philosophy, Czech Academy of Sciences)
Revantha Ramanayake (University of Groningen)
Renate A. Schmidt (The University of Manchester)
Igor Sedlár (Czech Academy of Sciences)
Ilya Shapirovsky (New Mexico State University)
Viorica Sofronie-Stokkermans (University of Koblenz)
Balder ten Cate (ILLC, University of Amsterdam)
Hans van Ditmarsch (University of Toulouse, CNRS, IRIT)
Yde Venema (ILLC, University of Amsterdam)
Rineke Verbrugge (University of Groningen)
Heinrich Wansing (Ruhr University Bochum)
Frank Wolter (University of Liverpool)


LOCAL ORGANIZING COMMITTEE
-------------------------------------

Olga Bažantová (Czech Academy of Sciences)
Marta Bílková (Czech Academy of Sciences)
Petr Cintula (Czech Academy of Sciences)
Wesley Fussner (Czech Academy of Sciences)
Zuzana Haniková (Czech Academy of Sciences)
Raheleh Jalali (Czech Academy of Sciences)
Filip Jankovec (Czech Academy of Sciences)
Vojtěch Kolman (Charles University)
Chun-Yu Lin (Czech Academy of Sciences)
Ondrej Majer (Czech Academy of Sciences)
Vít Punčochář (Czech Academy of Sciences)
Igor Sedlár (Czech Academy of Sciences) (chair)
Hana Střihávková (Czech Academy of Sciences)



ENQUIRIES
-------------------------------------

E-mail enquiries should be directed to the PC chairs:

agata at logic.at
gabelaia at gmail.com