Monthly 279
November 02, 2026
Monthly 279Past Issues - How to submit an announcement
Table of Contents
- DEADLINES
- SIGLOG MATTERS
- CALLS
- JOB ANNOUNCEMENTS
Deadlines
| FSCD and CADE 2027: | Dec 04, 2026 (Workshop proposal deadline) |
| ACM SIGAI Autonomous Agents Research Award: | Dec 05, 2026 (Nomications deadline) |
| LICS 2027: | Jan 14, 2027 (Titles and short abstracts), Jan 21, 2027 (Full papers) |
| DEON 2027: | Mar 05, 2027 (Abstract), Mar 12, 2027 (Paper) |
| FSCD 2027: | Apr 19, 2027 (Abstract), Apr 26, 2027 (Submission), Jun 28, 2027 (Notification) |
LICS 2027: LOGIC IN COMPUTER SCIENCE
CALL FOR PAPERS- IMPORTANT DATES
Titles and short abstracts: Jan 14, 2027 Full papers: Jan 21, 2027 Author response: Mar 25, 2027 Notification: Apr 15, 2027 - New for 2027: limits on the number of submissions per author, arXiv posting within a week of the deadline, and single-blind reviewing. Papers are in LIPIcs format, at most 22 pages excluding references. See the website for details: https://lics.siglog.org/lics27/cfp.php
- Invited speakers: Łukasz Kaiser, Joël Ouaknine.
- Tutorials: Laura Kovács, Szymon Toruńczyk.
FSCD 2027: International Conference on Formal Structures for Computation and Deduction
CALL FOR PAPERS- FSCD (https://fscd-conference.org/) covers all aspects of formal structures for computation and deduction, from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logic, models of computation, semantics and verification in new challenging areas.
- IMPORTANT DATES
All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered.
For a complete list of topics please visit the online CFP.Abstract: Apr 19, 2027 Submission: Apr 26, 2027 Author Response: Jun 08, 2027 Notification: Jun 28, 2027 Final Version: Jul 10, 2027 - PUBLICATION
The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All LIPIcs proceedings are open access. - SPECIAL ISSUE
There will be a special issue of Logical Methods in Computer Science of selected papers. More details will be provided later. - SUBMISSION GUIDELINES
The submission site is: https://easychair.org/conferences/?conf=fscd2027
Submissions must be formatted using the LIPIcs style files and submitted via EasyChair.
Submissions can be made in two categories:- Regular research papers are limited to 15 pages, excluding references and appendices. They must present original research which is unpublished and not submitted elsewhere.
- System descriptions are limited to 15 pages, excluding references. Shorter papers are welcome and will be given equal consideration. A system description must present new software tools, or significantly new versions of such tools, in which FSCD topics play an important role. An archive of the code with instructions on how to install and run the tool must be submitted. In addition, a webpage where the system can be experimented with should be provided.
One author of each accepted paper is expected to register and present the work in person at the conference. In case this is not possible, online presentation will be arranged, but in-person registration will still be required. - BEST PAPER AWARD BY JUNIOR RESEARCHERS
The programme committee will select a paper in which at least one author is a junior researcher, i.e. either a student or someone whose PhD award date is less than three years from the first day of the meeting. When submitting the paper, other authors should declare to the PC Chair that at least 50% of the contribution is made by the junior researcher(s). - CONTACT
All questions about submissions should be emailed to:- Daniele Nantes-Sobrinho (dnantes 'at' unb.br)
- Mariangiola Dezani-Ciancaglini (dezani 'at' di.unito.it)
PhD on dynamic logic and planning in Toulouse
JOB ANNOUNCEMENT- We welcome applications for a 3 years PhD scholarship on dynamic logic and planning, to be supervised by Philippe Balbiani and Andreas Herzig.
More details can be found here: https://www.irit.fr/~Andreas.Herzig/Phd_BalbianiHerzig.pdf. Interested students should email a CV, transcripts of bachelor and master degree, and a motivation statement to balbiani@irit.fr, herzig@irit.fr.
ACM SIGAI Autonomous Agents Research Award
CALL FOR NOMINATIONS- How to Nominate
Anyone can make a nomination, but you may not nominate yourself. Nominations should be made by filling out the below google form and should consist of a short (< 1 page) statement that emphasizes not only the research contributions that the individual has made that merit the award but also how the individual’s current work is an important influence on the field. - NOTE: a candidate can only be considered for the award if they are explicitly nominated. If you believe that someone deserves the award, then NOMINATE THEM -- don't assume that somebody else will!
Nomination Link: https://forms.gle/NGC1tC2nqUWpanMB6 - IMPORTANT DATES
Nomications deadline: Dec 05, 2026 Announcement of winner: Feb 01, 2027 AAMAS Conference: 3-7 May, 2027 - For any questions, please contact Sven Koenig (Award Chair, svenk@uci.edu) or Louise Dennis (SIGAI Vice Chair, louise.dennis@manchester.ac.uk).
Links: SIGLOG website, LICS website, SIGLOG Monthly.