Logic List Mailing Archive
CfP: AiML 2026 - Advances in Modal Logic, 29 June - 3 July 2026, Amsterdam (Netherlands)
First announcement
------------------------------------------------
Advances in Modal Logic (AiML 2026)
29 June - 3 July 2026
Amsterdam, The Netherlands
------------------------------------------------
Webpage:
https://events.illc.uva.nl/aiml2026/
Host:
AiML 2026 is organized by the Institute of Logic, Language and Computation (ILLC) of the University of Amsterdam (UvA). The conference will take place on 29 June - 3 July 2026.
About:
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.
Tentative deadlines:
The list below presents the tentative deadlines for the conference. It includes deadlines for long papers and short presentations as is a tradition for AiML. The first Call for Papers for AiML 2026 will follow soon.
* Abstract long papers submission: 20 February
* Full papers submission: 27 February
* Full papers notification: 24 April
* Short presentation submission: 5 May
* Camera-ready version full papers: 15 May
* Short presentations notification: 20 May
* Camera-ready version short presentations: 29 May
* Conference: 29 June - 3 July
Co-chairs organizing committee:
* Iris van der Giessen<https://www.uva.nl/en/profile/g/i/i.van-der-giessen/i.van-der-giessen.html> (University of Amsterdam)
* Marianna Girlando<https://www.mariannagirlando.com/Girlando.html> (University of Amsterdam)
Co-chairs program committee:
* Marta Blkov<https://sites.google.com/view/martabilkova/home/about-me> (The Czech Academy for Sciences)
* Yanjing Wang<http://wangyanjing.com/> (Peking University)
Contact:
To get in touch with the organizers please write to aiml2026-illc@uva.nl<mailto:aiml2026-illc@uva.nl>.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php