Logic List Mailing Archive
CfP: 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
=========================
=========================
===================
Second call for papers
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 Blkov (Czech Academy of Sciences)
David Fernndez-Duque (University of Barcelona)
Helle Hvid Hansen (University of Groningen)
Claudia Nalon (University of Braslia)
PAPER SUBMISSIONS
------------------------------
There will be two types of submissions for AiML 2024:
(1) Full papers for publication in the proceedings and presentation at
the conference.
(2) Short presentations intended for presentation at the conference
but not for the published proceedings.
Both types of 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
(1) FULL PAPERS
Authors are invited to submit, for presentation at the conference and
publication in the proceedings, full papers reporting on original
research and not submitted elsewhere.
The submissions should be at most 15 pages (references excluded), with
an optional technical appendix of up to 5 pages, together with a
plain-text abstract of 100-200 words. The submissions must be typeset
in LaTeX, using the style files and template provided on the AiML 2024
website in due time.
Authors must submit an abstract in plain text via EasyChair by the
abstract deadline prior to full submission of their paper.
The presentations of accepted full papers will be 30 minutes long.
(2) SHORT PRESENTATIONS
Submissions of extended abstracts of up to 5 pages are also welcome,
and 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 paper or short presentation must
register for and attend the conference.
IMPORTANT DATES
------------------------------
Abstracts of full papers submission deadline: 8 March
Full papers submission deadline: 15 March
Full papers notification: 20 May
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 Jebek (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 Universitt 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 Punoch (Institute of Philosophy, Czech Academy of Sciences)
Revantha Ramanayake (University of Groningen)
Renate A. Schmidt (The University of Manchester)
Igor Sedlr (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 Baantov (Czech Academy of Sciences)
Marta Blkov (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)
Vojtch Kolman (Charles University)
Chun-Yu Lin (Czech Academy of Sciences)
Ondrej Majer (Czech Academy of Sciences)
Vt Punoch (Czech Academy of Sciences)
Igor Sedlr (Czech Academy of Sciences) (chair)
Hana Stihvkov (Czech Academy of Sciences)
ENQUIRIES
------------------------------
E-mail enquiries should be directed to the PC chairs:
agata@logic.at<mailto:agata@logic.at>
gabelaia@gmail.com<mailto: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