Monthly 262
June 01, 2025
Monthly 262Past Issues - How to submit an announcement
Table of Contents
- DEADLINES
- CALLS
- C.A.R.L.A. 2025 (CALL FOR PAPERS )
- CSL 2026 (CALL FOR PAPERS, The page limit is 15 pages (without references and appendices). Submission via easychair. Please see full submission instructions at the website. )
- DEON 2025 (CALL FOR PARTICIPATION)
- WoLLIC 2025 (CALL FOR PARTICIPATION)
- FSCD 2025 (CALL FOR PARTICIPATION)
- ECOOP 2025 (CALL FOR PARTICIPATION)
- FCSD 2025 (CALL FOR NOMINATION)
Deadlines
| DEON 2025: | Jun 02, 2025 (Early registration) |
| Express/SOS 2025: | Jun 03, 2025 (Paper) |
| PODS 2026: | Jun 03, 2025 (Abstracts), Jun 10, 2025 (Full papers) |
| GandALF 2025: | June 6th, 2025 (Extended deadline) |
| BMQL 2025: | Jun 10, 2025 (Submission) |
| iFM 2025: | Jun 13, 2025 (Extended Abstract Submission), Jun 20, 2025 (Extended Paper Submission), Aug 15, 2025 (Artifact Registration), Aug 01, 2025 (Artifact Submission 22) |
| DaLi 2025: | Jun 15, 2025 (Extended Abstract deadline), Jun 20, 2025 (Extended Full paper deadline) |
| FAST TRACK ICLP 2025: | Jun 15, 2025 (IJCAI FAST TRACK Papers) |
| FSCD 2025: | Jun 15, 2025 (Early registration) |
| FCSD 2025: | Jun 20, 2025 (Election statement deadline) |
| ECOOP 2025: | Jun 22, 2025 (Late registration (CEST)) |
| ACKERMANN AWARD 2025: | Jul 01, 2025 (nominee s) |
| CSL 2026: | Jul 15, 2025 (Abstract), Jul 21, 2025 (Paper) |
| FM 2026: | Nov 25, 2025 (Abstract Submission), Dec 02, 2025 (Full Paper Submission) |
C.A.R.L.A. 2025: 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action
CALL FOR PAPERS- IMPORTANT DATES (AoE)
- Paper Submission Deadline: June 15, 2025 (EXTENDED)
- Notification: July 13, 2025
- Camera-Ready Deadline: July 27, 2025
- GENERAL INFORMATION
The 1st Workshop on Cognitive Architectures for Robotics: LLMs and Logic in Action (CARLA) seeks to transform the landscape of intelligent robotics by pioneering the integration of large language models (LLMs), symbolic reasoning, and logic solvers into robotic systems. As robotics moves towards real-world applications requiring adaptability, safety, and complex decision-making, this workshop focuses on harnessing the synergy between data-driven learning models and symbolic logic-based systems to advance automation. For instructions on submission and topics please visit the website. - ORGANIZATION
- Fabrizio Lo Scudo · University of Calabria, Italy
- Sotirios Batsakis · Hellenic Mediterranean University, Greece
- Manuel Borroto · University of Calabria, Italy
CSL 2026: Computer Science Logic
CALL FOR PAPERS- Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL), see https://www.eacsl.org/.
It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. - CSL 2026 is the 34th edition of the conference and will be held in Paris on the 23-28 February 2026 and is organised by the Logic and Computation team of the LIPN of Sorbonne Paris Nord University. For a detailed list of topics please visit the website.
- Submission:
- IMPORTANT DATES
All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered.Abstract submission: Jul 15, 2025 Paper submission: Jul 21, 2025 Notification: Oct 20, 2025 Final Version: Nov 30, 2025 Conference: Feb 23-28, 2025 - Committee Chairs
- Stefano Guerrini - Sorbonne Paris Nord University, France
- Barbara König - University of Duisburg-Essen, Germany
- Organisation committee:
- Stefano Guerrini - Sorbonne Paris Nord University, France
DEON 2025: 17th International Conference on Deontic Logic and Normative Systems
CALL FOR PARTICIPATION- The biennial International Conference on Deontic Logic and Normative Systems (DEON) conference series aims at bringing together researchers interested in the formal study of normative concepts, normative reasoning, and normative systems using methods from computer science, artificial intelligence, philosophy, linguistics, mathematics, and law. The conference will be preceded by a day of tutorials on June 30.
- Keynotes
- Natasha Alechina (Utrecht University, The Netherlands)
- Henry Prakken (Utrecht University, The Netherlands)
- Christian Straßer (Ruhr University Bochum, Germany)
- Early registration with reduced rates is available until June 2nd!
Early registration: Jun 02, 2025
For registration, please visit: https://sites.google.com/view/deon-2025/registration?authuser=0
WoLLIC 2025: 31st Workshop on Logic, Language, Information and Computation
CALL FOR PARTICIPATION- REGISTRATION
Registration is open in: https://forms.gle/GKzvG4vTCEcxhgpS6- Early registration (deadline is June 20):
- Regular: 300 euros
- Student: 250 euros
- Late registration:
- Regular: 360 euros
- Student: 310 euros
- INVITED SPEAKERS
- Tobias Kappé (Leiden University): On propositional program equivalence.
- Daniela Petrişan (IRIF, Université de Paris): Functorial Mealy machines.
- ACCEPTED PAPERS
A list of accepted papers can be found at https://wollic2025.github.io/accepted/ - WoLLIC is an annual international forum on interdisciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The thirty-first WoLLIC will be held at the University of Porto, Portugal, 14-17 July 2025.
- SCIENTIFIC SPONSORSHIP
- Interest Group in Pure and Applied Logics (IGPL)
- The Association for Logic, Language and Information (FoLLI)
- Association for Symbolic Logic (ASL)
- European Association for Theoretical Computer Science (EATCS)
- European Association for Computer Science Logic (EACSL)
- Sociedade Brasileira de Lógica (SBL)
- Sociedade Portuguesa de Lógica (SPL)
- ABOUT WoLLIC
WoLLIC is a series of workshops which started in 1994 with the aim of fostering interdisciplinary research in pure and applied logic. The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction among participants.
FSCD 2025: Tenth International Conference on Formal Structures for Computation and Deduction
CALL FOR PARTICIPATION- IMPORTANT DATES
Early registration: Jun 15, 2025 Workshops: Jul 14, and Jul 19-20, 2025 Conference: Jul 15-18, 2025 - OVERVIEW
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. - REGISTRATION
Registration is now open, with the early deadline 15 June 2025 https://shop.bham.ac.uk/conferences-and-events/college-of-engineering-physical-sciences/school-of-computer-science/computer-science-courses-events/10th-international-conference-on-formal-structures-for-computation-and-deduction - INVITED SPEAKERS
- Liron Cohen, Ben-Gurion University
- Mariangiola Dezani, University of Torino
- Ekaterina Komendantskaya, University of Southampton
- Jose Meseguer, University of Illinois Urbana-Champaign
- ACCEPTED PAPERS
The list of accepted papers can be found here: https://fscd2025.github.io/accepted.html - WORKSHOPS
- UNIF 2025: 39th International Workshop on Unification - 14 July 2025
- HOR 2025: 12th International Workshop on Higher-Order Rewriting - 14 July 2025
- WiL 2025: Women in Logic 2025 - 14 July 2025
- LFMTP 2025: International Workshop on Logical Frameworks and Met Languages: Theory and Practice - 19 July 2025
- IFIP-WG1.6 2025: Annual Meeting of the IFIP Working Group 1.6 on Term Rewriting - 19 July 2025
- TLLA 2025: 9th International Workshop on Trends in Linear Logic and Applications - 19 and 20 July 2025
- GALOP 2025: 17th Workshop on Games for Logic and Programming Languages 19 and 20 July 2025
- WPTE 2025: 11th International Workshop on Rewriting Techniques for Program Transformations and Evaluation - 20 July 2025
- PROGRAMME COMMITTEE CHAIR
- Maribel Fernandez, King's College London, UK Email: fscd2025@easychair.org
- CONFERENCE CHAIRS
- Paul Blain Levy, University of Birmingham, UK
- Anupam Das, University of Birmingham, UK
- SPONSORSHIP
FSCD 2025 is proud to receive support from:- University of Birmingham
- UK Research and Innovation
- The Research Institute on Verified Trustworthy Software Systems
- ANTI-HARASSMENT POLICY
The open exchange of ideas and the freedom of thought and expression are central to the values and goals of SIGLOG. They require an environment that recognizes the inherent worth of every person and group. They flourish in communities that foster mutual understanding and embrace diversity. For these reasons, SIGLOG is committed to providing a harassment-free conference experience. As an event held in cooperation with SIGLOG, FSCD implements the ACM policy against harassment: https://www.acm.org/about-acm/policy-against-harassment
ECOOP 2025: 39th European Conference on Object-Oriented Programming
CALL FOR PARTICIPATION- ABOUT
ECOOP is Europe’s longest-standing annual Programming Languages conference, bringing together researchers, practitioners, and students to share their ideas and experiences in all topics related to programming languages, software development, systems and applications. ECOOP welcomes high quality research papers relating to these fields in a broad sense.
ECOOP is committed to affordable open access publishing. Recent year’s publications have been published by Dagstuhl’s LIPIcs series under a Creative Commons CC-BY license where the authors retain their copyright. ECOOP articles have been published without open access publishing fee and can be accessed via a DOI. LIPIcs is indexed in DBLP, Google Scholar, Scopus and others.
ECOOP 2025 will take place in Bergen, Norway, hosted by the Software Engineering research group at Western Norway University of Applied Sciences. - PRIZES
- Senior Prize: Mira Mezini, TU Darmstadt, Germany
- Junior Prize: Amir Shaikhha, University of Edinburgh, United Kingdom
- Test-of-Time Award: Towards type inference for JavaScript, by Christopher Anderson, Paola Giannini, and Sophia Drossopoulou
- Registration
Detailed information about registration can be found at https://www.discotec.org/2025/registration . - IMPORTANT DATES
Late registration (CEST): Jun 22, 2025 - The week of ECOOP is high season in Bergen. We recommend you to book your accommodation as soon as possible.
- Student Sponsorship
The ECOOP'25 organizers and AITO are happy to announce the student support program for ECOOP'25. Please visit https://2025.ecoop.org/attending/student-scholarships for more details.
FCSD 2025: Formal Structures for Computation and Deduction Steering Committee Membership Election 2025
CALL FOR NOMINATION- The FSCD SC consists of the SC Chair, 6 elected members, PC Chairs of the last 3 years, the Publicity Chair, Workshop Chair and former SC Chair. Every year the outgoing elected SC members are replaced by new members elected by a secret ballot. Each SC member normally serves for 3 years, unless exceptions apply (see the FSCD Rules of Business http://fscd-conference.org/organization/rules-of-business/ for details). Note that past SC members are allowed to run for SC membership again. The current steering committee composition, together with the serving time for each member, is available here: https://fscd-conference.org/organization/steering-committee/
Candidates for SC membership are requested to email the FSCD SC Chair an election statement (including a brief bio) on one a4 page, preferably in PDF, no later than (AoE)
Election statement deadline: Jun 20, 2025
The election statements will be posted on the FSCD webpage before the start of FSCD 2025. The election will take place at the General Meeting of FSCD 2025, 15-18 July 2025.
Links: SIGLOG website, LICS website, SIGLOG Monthly.