Monthly 265
September 01, 2025
Monthly 265Past Issues - How to submit an announcement
Table of Contents
- DEADLINES
- CALLS
Deadlines
| AiML 2026: | Feb 20, 2025 (Abstract for long papers), Feb 27, 2025 (Full papers), May 05, 2025 (Short presentations) |
| CPP 2026: | Sep 05, 2025 (Abstract Submission Deadline), Sep 12, 2025 (Paper Submission Deadline) |
| FM 2026: | Nov 25, 2025 (Abstract Submission), Dec 02, 2025 (Full Paper Submission) |
| FLOPS 2026: | Dec 08, 2025 (Abstracts due), Dec 15, 2025 (Submission deadline) |
FLOPS 2026: 18th International Symposium on Functional and Logic Programming
CALL FOR PAPERS- FLOPS aims to bring together practitioners, researchers and implementers of declarative programming, to discuss mutually interesting results and common problems: theoretical advances, their implementations in language systems and tools, and applications of these systems in practice. The scope includes all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming. FLOPS specifically aims to promote cross-fertilization between theory and practice and among different styles of declarative programming.
- The call is now open.
- Important dates:
Abstracts due: Dec 08, 2025 Submission deadline: Dec 15, 2025
AiML 2026: Advances in Modal Logic
CALL FOR PAPERS- ABOUT
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.
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.
dv Conference: Jun 29 - Jul 03, 2025Abstract submission for long papers: Feb 20, 2025 Full papers submission: Feb 27, 2025 Full papers notification: Apr 24, 2025 Short presentations submission: May 05, 2025 Camera-ready version full papers: May 15, 2025 Short presentations notification: May 20, 2025 Camera-ready version short presentations: May 29, 2025 - Co-chairs organizing committee:
- Iris van der Giessen (University of Amsterdam)
- Marianna Girlando (University of Amsterdam)
- Co-chairs program committee:
- Marta Bílková (The Czech Academy for Sciences)
- Yanjing Wang (Peking University)
- Contact:
To get in touch with the organizers please write to aiml2026-illc@uva.nl.
Theorietag: 88th Workshop on Algorithms, Complexity, and Logic
CALL FOR PARTICIPATION- ABOUT
The 88th Workshop in Algorithms, Complexity, and Logic, commonly known as "Theorietag", is a joint workshop of the three working groups on Algorithms, Complexity, and Logic of the German Society for Computer Science (GI).
It aims at bringing together researchers from these three core research areas of theoretical computer science and to foster a broad scientific exchange. Moreover, the workshop is a great opportunity for younger researchers to present their work and to connect. There are no formal proceedings, so both published and unpublished work can be presented, without interfering with any past or future publication. A declared goal of the workshop is to enable contact between young and senior scientists. - INVITED SPEAKERS
- Thomas Bläsius (Karlsruhe Institute of Technology)
- Javier Esparza (Technical University Munich)
- Daniel Neuen (Max Planck Institute for Computer Science, Saarbrücken)
- CONTRIBUTED TALKS:
We are looking for contributed talks in all areas of research on Algorithms, Complexity and Logic. These can be on recently published research, work in progress, or thesis projects.
If you are interested in giving a contributed talk, then please send your title+abstract to theorietag2025@informatik.uni-augsburg.de by- dh abstract submission: 26 September 2025
- REGISTRATION:
The registration is open at least until 26th September 2025. Attending the workshop will be free of charge. Coffee/tea+fingerfood will be provided. Lunch and social dinner is self-paid. If you want to attend the workshop (with or without talk), then please register by sending an email to: theorietag2025@informatik.uni-augsburg.de - CONTACT
The workshop is organized by the Theoretical Computer Science Group at University of Augsburg. Contact: theorietag2025@informatik.uni-augsburg.de
Links: SIGLOG website, LICS website, SIGLOG Monthly.