SIGLOG Monthly 262*June 01, 2025*
View Online <https://lics.siglog.org/newsletters/262.html> - Past Issues
<https://lics.siglog.org/newsletters/> - How to submit an announcement
<https://lics.siglog.org/newsletters/inst.html>Table of Contents
- DEADLINES <#deadlines>
- CALLS
- C.A.R.L.A. 2025 (CALL FOR PAPERS ) <#CARLA2025>
- 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. ) <#CSL2026>
- DEON 2025 (CALL FOR PARTICIPATION) <#DEON2025>
- WoLLIC 2025 (CALL FOR PARTICIPATION) <#WoLLIC2025>
- FSCD 2025 (CALL FOR PARTICIPATION) <#FSCD2025>
- ECOOP 2025 (CALL FOR PARTICIPATION) <#ECOOP2025>
- FCSD 2025 (CALL FOR NOMINATION) <#FCSD2025>
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
University of Calabria, Rende, Italy
September 12-13, 2025
https://carla-ws.github.io/web/
Part of ICLP 2025 https://iclp25.demacs.unical.it
CALL FOR PAPERS
- IMPORTANT DATES (AoE)
- Paper Submission Deadline: June 15, 2025 (EXTENDED)
- Notification: July 13, 2025
- Camera-Ready Deadline: July 27, 2025
Accepted papers will be presented as posters, with a subset selected for
oral presentations. The workshop will take place in person at ICLP 2025,
with virtual participation options to be confirmed.
- 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
https://csl2026.github.io/
Paris, France
23-28 February 2026
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:
The page limit is 15 pages (without references and appendices). Submission
via easychair. Please see full submission instructions at the website.
- 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
1 – 3 July 2025, TU Wien, Vienna, Austria
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
14-17 July 2025
Porto, Portugal
https://wollic2025.github.io/
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
14-20 July 2025, Birmingham, UK
https://fscd-conference.org/2025/
In-cooperation with ACM SIGLOG
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:
fscd2...@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
Bergen, Norway, 30th Jun - 4th July, 2025
https://2025.ecoop.org
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
Both prize winners will give a keynote at ECOOP. Please visit
https://2025.ecoop.org/track/ecoop-2025-awards to know more about them.
- 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 2025CALL 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 <http://siglog.org/>, LICS website
<https://lics.siglog.org>, SIGLOG Monthly
<https://lics.siglog.org/newsletters/>.
Kind regards,
Elli Anastasiadi
Aalborg University
You are subscribed to the lics mailing list because you have signed up for it
in the past.
Submissions to the newsletter:
Send an email to las-lics@lists.tu-berlin.de.
Unsubscribe:
To unsubscribe, please send an email to las-lics-requ...@lists.tu-berlin.de with
the keyword 'unsubscribe' in the message body (without ').
Subscribe:
To subscribe, please send an email to las-lics-requ...@lists.tu-berlin.de with
the keyword 'subscribe' in the message body (without ').
