Logic List Mailing Archive
CfP: [Short Paper]: AiML 2024: International Conference on Advances in Modal Logic, 19-23 August 2024, Prague (Czech Republic)
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 t
he 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 Rela
tional 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, mod
al logics over non-boolean bases, dynamic logics and other process logics,
epistemic and deontic logics, modal logics for agent-based systems, modal l
ogic and game theory, modal logic and grammar formalisms, provability and i
nterpretability logics, spatial and temporal logics, hybrid logic, intuitio
nistic logic, substructural logics, computationally light fragments of all
such logics)
INVITED SPEAKERS
-------------------------------------
Alexandru Baltag (University of Amsterdam) Marta Blkov (Czech Academy
of Sciences) David Fernndez-Duque (University of Barcelona) Claudia Nal
on (University of Braslia)
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 m
ust register for and attend the conference.
Papers should be submitted electronically using the EasyChair submission pa
ge:
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 accepta
nce notification: 14 June Final version of full papers and short presentati
ons 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 B
eklemishev (Steklov Mathematical Institute) Nick Bezhanishvili (ILLC, Unive
rsity of Amsterdam) Agata Ciabattoni (TU Wien) Willem Conradie (University
of the Witwatersrand) Tommaso Flaminio (IIIA - CSIC) David Gabelaia (TSU Ra
zmadze Mathematical Institute) Silvio Ghilardi (University of Milan) Nina G
ierasimczuk (Technical University of Denmark) Valentin Goranko (Stockholm U
niversity) Rajeev Gore Wesley Holliday (University of California, Berkeley)
John Horty (University of Maryland) Emil Jebek (Institute of Mathema
tics, 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 Un
iversitt Dresden) Tommaso Moraschini (Universitat de Barcelona) Larry Mo
ss (Indiana University Bloomington) Sara Negri (University of Genova) Nicol
a Olivetti (Aix-Marseille Universit) Alessandra Palmigiano (VU Amsterdam
) Xavier Parent (TU Wien) Elaine Pimentel (UCL) Vit Punoch (Instit
ute of Philosophy, Czech Academy of Sciences) Revantha Ramanayake (Universi
ty of Groningen) Renate A. Schmidt (The University of Manchester) Igor Sedl
r (Czech Academy of Sciences) Ilya Shapirovsky (New Mexico State Univers
ity) 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 (Un
iversity of Groningen) Heinrich Wansing (Ruhr University Bochum) Frank Wolt
er (University of Liverpool)
LOCAL ORGANIZING COMMITTEE
-------------------------------------
Olga Baantov (Czech Academy of Sciences) Marta Blkov (Czech Aca
demy of Sciences) Petr Cintula (Czech Academy of Sciences) Wesley Fussner (
Czech Academy of Sciences) Zuzana Hanikov (Czech Academy of Sciences) Ra
heleh Jalali (Czech Academy of Sciences) Filip Jankovec (Czech Academy of S
ciences) Vojtch Kolman (Charles University) Chun-Yu Lin (Czech Academy o
f Sciences) Ondrej Majer (Czech Academy of Sciences) Vt Punoch
(Czech Academy of Sciences) Igor Sedlr (Czech Academy of Sciences) (chai
r) Hana Stihvkov (Czech Academy of Sciences)
ENQUIRIES
-------------------------------------
E-mail enquiries should be directed to the PC chairs:
agata@logic.at
gabelaia@gmail.com
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php