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.
Note: Book your accommodation as soon as possible as August is high season in Prague.
The venue is located a few metres from the Staroměstská metro station. Information about the public transport system in Prague can be found here and the metro map is here.
These web pages gather information that visitors to Prague may find useful.
The local organisation team can be contacted at aiml-ramics@cs.cas.cz.
More information to be announced soon.
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.
The registration is now open. Please fill out the registration form here: Registration Form.
After submitting the registration form, you will receive an email with a payment link within a few minutes (unless you have registered as an invited speaker). The registration process is not complete until we have received your payment. We only accept online payments by debit/credit card. At least one author of each accepted paper or short presentation must register for and attend the conference.
Early registration closes at 26 June (AoE). Registration closes at 23 July (AoE).