Monthly 274
June 01, 2026
Monthly 274Past Issues - How to submit an announcement
Table of Contents
- DEADLINES
- CALLS
- JOB ANNOUNCEMENTS
Deadlines
| Petri Nets 2026: | Jan 14, 2026 (Abstract), Jan 21, 2026 (Paper) |
| NMR 2026: | Jun 01, 2026 (Early registration), Jul 13, 2026 (Late registration) |
| ICTAC 2026: | Jun 08, 2026 (Abstract deadline), Jun 15, 2026 (Submission deadline) |
| ICTCS 2026: | Jun 14, 2026 (Submission deadline) |
| AiML 2026: | Jun 15, 2026 (registration closes), Jun 15, 2026 (Registration deadline) |
| GandALF 2026: | Jun 18, 2026 (Abstract), Jun 22, 2026 (Submission deadline) |
| POSTDOC POSITION: | Jun 18, 2026 (Application deadline) |
| Express/SOS 2026: | Jun 22, 2026 (Paper Submission) |
| DC@LPNMR 2026: | Jun 30, 2026 (Paper) |
| ACKERMANN AWARD 2026: | Jul 01, 2026 (nomination deadline) |
| CSL 2027: | Jul 08, 2026 (Abstract), Jul 15, 2026 (Paper) |
| PhD Position: | Aug 01, 2026 (Application deadline) |
DC@LPNMR 2026: Doctoral Consortium (DC) of the 18th International Conference on Logic Programming and Non-monotonic Reasoning
CALL FOR PAPERS- GOALS
The DC aims to provide a dedicated forum for Ph.D. students working in areas related to logic programming and non-monotonic reasoning. It offers participants a stimulating and informal environment to engage with established researchers and fellow students through research presentations, discussions, and mentoring activities. Each participant will present their research work and receive detailed feedback. The main objectives of the DC are:- To offer doctoral students a supportive and open setting in which to present their research ideas, learn about ongoing work by peers, and receive constructive feedback.
- To provide insights into key aspects of doctoral studies and academic careers.
- To foster a collaborative research environment and build a community of young scholars.
- To support early-career researchers by offering guidance on academic, industrial, and alternative career paths.
- IMPORTANT DATES (Tentative)
Paper submission: Jun 30, 2026 Notification to authors: Jul 30, 2026 Camera-ready submission: Aug 07, 2026 Doctoral Consortium: Sep 07, 2026 - TARGET AUDIENCE
The DC is primarily intended for students currently enrolled in a Ph.D. program. However, applications from exceptional candidates (e.g., Master’s students planning to pursue doctoral studies) will also be considered. Students at any stage of their doctoral studies are welcome to apply. Applicants are expected to conduct research in areas related to logic programming. For a full list of topics please visit the online cfp. - SUBMISSION DETAILS
Submissions must be written in English and include a research summary prepared in CEUR format (https://www.overleaf.com/latex/templates/template-for-submissions-to-ceur-workshop-proceedings-ceur-ws-dot-org/wqyfdgftmcfw), consisting of 5–7 pages (excluding references), providing a clear overview of the research. The research summary should include:- Full name, affiliation, and contact information
- Introduction and problem statement
- Background and related work
- Research objectives
- Current status of the research
- Preliminary results (if available)
- Open issues and expected outcomes
- References
- REVIEW PROCESS AND SELECTION CRITERIA
Submissions will be evaluated by a program committee composed of experts in the area of logic programming and non-monotonic reasoning. Each application will be reviewed by at least two referees. Selection will be based on:- Relevance to the scope of LPNMR
- Clarity and completeness of the submission
- Stage and maturity of the research
- Potential contribution to the DC objectives
- Evidence of research potential, such as publications or technical reports
Petri Nets 2026: 47th International Conference on Applications and Theory of Petri Nets and Concurrency
CALL FOR PAPERS- On the occasion of the 100th birthday of Carl Adam Petri, the Petri Net Conference 2026 will take place in Hamburg, at the university where Petri held an honorary professorship. Therefore, contributions that include a historical perspective are particularly welcome.
We seek papers presenting original research on the application or theory of Petri nets, as well as contributions addressing concurrent systems more broadly, or applications of concurrency to system design.
For a full list of topics please visit the online cfp. - IMPORTANT DATES
Abstract submission: Jan 14, 2026 Paper submission: Jan 21, 2026 Notification: Mar 08, 2026 Final version due: Mar 22, 2026 Workshops and Tutorials: Jun 22–23, 2026 Main Conference: Jun 24–26, 2026 - PAPER SUBMISSION
Two kinds of papers can be submitted:- Regular papers (max. 20 pages excluding references) describing original results pertaining to the development of the theory of Petri nets and distributed and concurrent systems in general, new results extending the applicability of Petri nets, or case studies, application and experience reports pertinent to the practical use of Petri nets and concurrency.
- Tool papers (max. 10 pages excluding references) describing a computer tool based on Petri nets (not an application of the tool or the theory behind the tool). The tool should be available for use by other groups (but not necessarily for free). The submission should indicate how the reviewers can get access to the tool (this must be free). The tool will be demonstrated at the Tool Exhibition.
Submit via EasyChair: https://easychair.org/conferences/?conf=petrinets2026. - WORKSHOPS, COURSES, TUTORIALS, AND TOOLS
The main conference will take place from Wednesday, June 24 to Friday, June 26. The two days before the main conference also offer a wide range of activities. The Petri Net Course takes place from Monday June 22 to Tuesday June 23. It offers a thorough introduction to Petri nets in half-day and full-day modules. Detailed descriptions of workshops and tutorials will be made available via the conference website. An exhibition of Petri net tools will take place on Thursday, June 25. It consists of informal demonstrations for small groups/individuals, and there are no scheduled talks. - ORGANISATION
Organisation Committee Chairs:- Michael Köhler-Bußmeier, Hamburg University of Applied Sciences, Germany
- Daniel Moldt, University of Hamburg, Germany
Program Committee Chairs:- Jörg Desel, FernUniversität in Hagen, Germany
- Anna Kalenkova, The University of Adelaide, Australia
- INFORMATION & CONTACT
https://conf-2026.petrinet.net
pn2026@petrinet.net
AiML 2026: 16th International Conference on Advances in Modal Logic
CALL FOR PARTICIPATION- REGISTRATION
Registration for AiML 2026 is now open, at: https://events.illc.uva.nl/aiml2026/Registration/ Please note that the early registration closes on 22 May 2026, and
registration closes: Jun 15, 2026- Regular: €320 // early before 22 May: €250
- Student: €270 // early before 22 May: €220
- 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. 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.
A list of accepted papers is available at: https://events.illc.uva.nl/aiml2026/Accepted-Papers/ - IMPORTANT DATES
Registration deadline: Jun 15, 2026 Conference: Jul 29-3, 2026 - INVITED SPEAKERS
- Kit Fine (New York University)
- David Gabelaia (Razmadze Mathematical Institute)
- Mojtaba Mojtahedi (Ghent University)
- Aybüke Özgün (University of Amsterdam)
- Sara Uckelman (Durham University)
- PROGRAM COMMITTEE CHAIRS
- Marta Bílková (The Czech Academy of Sciences)
- Yanjing Wang (Peking University)
- CONTACT
To get in touch with the organizers please write to: aiml2026-illc@uva.nl
NMR 2026: 24th International Workshop on Nonmonotonic Reasoning
CALL FOR PARTICIPATION- We invite participation in the 24th International Workshop on Nonmonotonic Reasoning (NMR 2026). NMR 2026 is co-located with the 23rd International Conference on Principles of Knowledge Representation and Reasoning (KR 2026) at the Federated Logic Conference (FLoC 2026). The workshop will bring together researchers working on nonmonotonic reasoning and related areas of knowledge representation and reasoning, including belief revision, uncertain reasoning, reasoning about actions, planning, logic programming, preferences, argumentation, causality, systems, and applications. Participation is open to all interested researchers and students.
- REGISTRATION
Registration information for NMR 2026 is available at: https://nmr.krportal.org/2026/#registration
Direct FLoC 2026 registration page: https://www.floc26.org/registration - DATES
Early registration: Jun 01, 2026 Late registration: Jul 13, 2026 - GENERAL INFORMATION
NMR is the premier forum for results in the area of Nonmonotonic Reasoning. Its aim is to bring together active researchers in this broad field within knowledge representation and reasoning (KR). NMR has a long history - it started in 1984 and, up until 2020, was held every two years. Recent previous NMR workshops were held in Melbourne (2025), Vietnam (2024), Greece (2023), Haifa (2022), Hanoi (virtually) (2021), Rhodes (virtually) (2020), Tempe (2018), Cape Town (2016), Vienna (2014), Rome (2012), Toronto (2010), and Sydney (2008). - AIMS AND SCOPE
NMR 2026 aims to foster connections between the different subareas of nonmonotonic reasoning and provide a forum for emerging topics. The workshop activities will include invited talks and presentations of accepted papers. - ORGANIZATION
General Co-Chairs:- Ana Ozaki · University of Oslo and University of Bergen, Norway
- Nico Potyka · Cardiff University, UK
- Publicity Chair:
- Jacek Wegrzynowski · University of Oslo, Norway
WPTE 2026: Rewriting Techniques for Program Transformations and Evaluation
CALL FOR PARTICIPATION- The aim of WPTE is to bring together researchers working on program transformations, evaluation, and operationally based programming language semantics, using rewriting methods, in order to share the techniques and recent developments and to exchange ideas to encourage further activation of research in this area.
- The workshop will have two invited talks, by:
- Nada Amin, Harvard University
- Nikos Tzevelekos, Queen Mary University of London (joint with GaLoP 2026)
- David B. Hulak, Arthur Freitas Ramos and Ruy J.G.B. de Queiroz: Sound Rewrites for Measurement-Bearing Expressions via Token-Sensitive Enclosure Semantics
- Takumi Sato and Koji Nakazawa: A Cyclic Proof System for Trace Formula Implication with Least and Greatest Fixpoints
- David Sabel and Manfred Schmidt-Schauß: Improvement Theory for Probabilistic Call-by-Need
- Misaki Kojima and Naoki Nishida: On Comparing Python Programs Based on Differences in Rewrite Sequences to Support Grading Programming Exercises
- Katarzyna Marek and Clément Pit Claudel: Tactic-driven code fusion
- Ștefan Ciobâcă, K. Rustan M. Leino, Ștefan-Alexandru Mercas and Roxana-Mihaela Timon: An Interactive Proof Mode for Dafny Based on Back Translation of Verification Obligations
POSTDOC POSITION: School of Computer Science, University of Sydney, Australia
JOB ANNOUNCEMENT- POSTDOC POSITION
A postdoctoral position is available in theoretical computer science with Sasha Rubin at the University of Sydney on topics related to planning and reactive synthesis, funded by the ARC project "Logic based planning under ignorance". Within this broad topic, the project has scope to adapt to the candidate's interests. The appointment is initially for 2 years, with the possibility of extension. The starting date is flexible, but expected around early 2027. The successful candidate will join the Sydney Algorithms and Computing Theory group working in foundational aspects of computer science (usyd-sact.github.io/).- Application link: tinyurl.com/cmfe4s58 Application deadline is at 11:59 PM (GMT+10).
Contact: sasha.rubin@sydney.edu.au
Links: SIGLOG website, LICS website, SIGLOG Monthly.