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. Information about the AiML series can be obtained at http://www.aiml.net.
AiML 2024 is organized by the Institute of Computer Science of the Czech Academy of Sciences, the Institute of Philosophy of the Czech Academy of Sciences and the Faculty of Arts of Charles University.
AiML 2024 is collocated with the 21st International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2024).
The full call for papers can be found here.
Faculty of Arts, Charles University. 116 38, Prague 1, The Czech Republic.
To be announced.
There will be two types of submissions for AiML 2024:
Both types of papers should be submitted electronically using the EasyChair submission page using the AiML LaTeX template. For more information, please visit the full call for papers.
At least one author of each accepted paper or short presentation must register for and attend the conference.
To be announced.