SIGLOG Monthly 268*November 01, 2025*
View Online <https://lics.siglog.org/newsletters/268.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>
- SIGLOG MATTERS
- LMW@CSL'26 <#LMWCSL26>
- CALLS
- FMBC 2026 (CALL FOR PAPERS) <#FMBC2026>
- SPIN 2026 (CALL FOR PAPERS) <#SPIN2026>
- FSCD 2026 (CALL FOR PAPERS) <#FSCD2026>
- CAV 2026 (CALL FOR PAPERS) <#CAV2026>
- CiE 2026 (CALL FOR PAPERS) <#CiE2026>
- ICALP 2026 (CALL FOR PAPERS) <#ICALP2026>
- AiML 2026 (CALL FOR PAPERS) <#AiML2026>
- 25 years of CEGAR (CALL FOR PAPERS ) <#25yearsofCEGAR>
- SALOMAA PRICE (CALL FOR NOMINATIONS) <#SALOMAAPRICE>
- DEON 2027 (CALL FOR BIDS) <#DEON2027>
Deadlines
LMW@CSL'26: Dec 05, 2025 (Travel support for students), Dec 15, 2025 (ACM-W
Travel Grant for women)
FLOPS 2026: Dec 08, 2025 (Abstracts due), Dec 15, 2025 (Submission deadline)
FMBC 2026: Jan 08, 2026 (Abstract), Jan 15, 2026 (Full paper)
SPIN 2026: Jan 15, 2026 (Abstract deadline), Jan 22, 2026 (Paper deadline)
FSCD 2026: Jan 23, 2026 (Abstract), Jan 30, 2026 (Paper Submission)
CAV 2026: Jan 28, 2026 (Paper)
CiE 2026: Jan 29, 2026 (Abstract deadline), Feb 03, 2026 (Full Paper
deadline)
SALOMAA PRICE: Jan 31, 2026 (Nominations)
ICALP 2026: Feb 03, 2026 (Abstract Registration Deadline), Feb 06, 2026
(Submission Deadline)
WoLLIC 2026: Feb 16, 2026 (Abstracts deadline), Feb 22, 2026 (Full papers
deadline)
AiML 2026: Feb 20, 2026 (Abstract long papers), Feb 27, 2026 (Full papers),
May 05, 2026 (Short presentation)
25 years of CEGAR: Feb 28, 2026 (Papers deadline)LMW@CSL'26: Logic
Mentoring Workshop
23 February, Paris
https://logic-mentoring-workshop.github.io/csl26
Co-Located with CSL (https://csl2026.github.io/)
CALL FOR PARTICIPATION
- The Logic Mentoring Workshop is a twice-annual workshop for
introducing young researchers to the technical and practical aspects of a
career in logic research. It is targeted as students, from senior
undergraduates to doctoral students, and will include tutorials and plenary
talks as well as panel discussions.
- Registration will open with the CSL registration at a later date.
- Important Dates:
Travel support for students: Dec 05, 2025
ACM-W Travel Grant for women: Dec 15, 2025For the LMW student support
apply at: Apply at https://forms.gle/KvsQCcYswyfTZCPE9 For the ACM-W
Travel Grant for women information at https://women.acm.org/
FMBC 2026: 7th International Workshop on Formal Methods for Blockchains
https://fmbc.gitlab.io/2026
April 11, 2026, Turin, Italy
Co-located with the european joint conferences on theory and practice of
software (ETAPS 2026) https://www.etaps.org/2026/
CALL FOR PAPERS
- IMPORTANT DATES
Abstract submission: Jan 08, 2026
Full paper submission: Jan 15, 2026
Notification: Feb 28, 2026
Camera-ready: Mar 15, 2026
Workshop: Apr 11, 2026Deadlines are Anywhere on Earth
- TOPICS OF INTEREST
This workshop is a forum to identify theoretical and practical
approaches of formal methods for Blockchain technology. Topics include, but
are not limited to:
- Formal models of Blockchain applications or concepts
- Formal methods for consensus protocols
- Formal methods for Blockchain-specific cryptographic primitives or
protocols
- Design and implementation of Smart Contract languages
- Verification of Smart Contracts
- Zero-knowledge proof and its applications in a blockchain setting
- SUBMISSION
Submit original manuscripts (not published or considered elsewhere) with
a page limit of 12 pages for full papers and 6 pages for short and tool
papers (excluding bibliography and short appendix of up to 5 additional
pages). Alternatively you may also submit an extended abstract of up to 2
pages (excluding bibliography) summarizing your ongoing work in the area of
formal methods and blockchain. Extended abstracts will not be included in
the workshop proceedings but authors of selected extended-abstracts are
invited to give a lightning talk. Submission link:
https://easychair.org/conferences/?conf=fmbc2026 Authors are encouraged
to use LaTeX and prepare their submissions according to the instructions
and styling guides for OASIcs provided by Dagstuhl.
At least one author of an accepted paper is expected to present the
paper at the workshop as a registered participant.
- PROCEEDINGS
All submissions will be peer-reviewed by at least three members of the
program committee for quality and relevance. Accepted regular papers (full
and short papers) will be included in the workshop proceedings, which will
be published as a volume of the OpenAccess Series in Informatics (OASIcs)
by Dagstuhl.
- PC CO-CHAIRS
- Massimo Bartoletti (University of Cagliari, Italy) ([email protected])
- Diego Marmsoler (University of Exeter, UK) ([email protected]
)
SPIN 2026: The 32nd International Symposium on Model Checking Software
April 15–16, 2026
co-located with ETAPS 2026
Torino, Italy
https://spin-web.github.io/SPIN2026/cfp
CALL FOR PAPERS
- The SPIN symposium aims at bringing together researchers and
practitioners interested in automated tool-based techniques for the
analysis of software as well as models of software, for the purpose of
verification and validation. SPIN is a broadly-scoped symposium for
software analysis using any automated techniques, including model checking,
automated theorem proving, and symbolic execution. Submissions are
solicited on theoretical results, novel algorithms, tool development, and
empirical evaluation.
- IMPORTANT DATES
Abstract submission deadline: Jan 15, 2026
Paper submission deadline: Jan 22, 2026
Artifact submission deadline for tool-related papers (mandatory): Jan
29, 2026
Notification of acceptance: Mar 05, 2026
Artifact submission deadline for accepted non-tool papers (voluntary): Mar
16, 2026
Notification of acceptance for additional artifacts: Apr 09, 2026Papers
should be submitted via the EasyChair SPIN 2026 submission website at
https://easychair.org/conferences/?conf=spin2026 Submissions should
adhere to Springer's LNCS format. With the exception of survey and history
papers, the papers should contain original work that has not been submitted
or accepted for publication elsewhere. We are soliciting three categories
of papers:
- Full Research Papers (16 pages, excluding bibliography and appendices);
- Full Tool Papers (16 pages, excluding bibliography and appendices),
accompanied by a mandatory artifact, with acceptance conditional on the
accompanying artifact receiving at least the "Functional" badge in the
artifact evaluation; and
- Short Papers (6 pages, excluding bibliography and appendices).
At least one author of each accepted paper must attend the symposium and
present the paper. A Best Paper award will be announced and handed out at
the conference.
For more details, see the SPIN 2026 website at
https://spin-web.github.io/SPIN2026/ or contact the SPIN 2026 PC chairs:
- Vincenzo Ciancia
- Arnd Hartmanns
FSCD 2026: Eleventh International Conference on Formal Structures for
Computation and Deduction
July 20-23, Lisbon, Portugal
https://fscd-conference.org/2026
Part of FLoC 2026
CALL FOR PAPERS
- IMPORTANT DATES
All deadlines are midnight anywhere-on-earth (AoE); late submissions
will not be considered.
Abstract submission: Jan 23, 2026
Paper Submission: Jan 30, 2026
Author Response: Mar 23, 2026
Notification: Apr 16, 2026
Final version: Apr 30, 2026
- 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.
For a detailed list of relevant topics please visit the online CFP at
https://fscd2026.github.io/CFP/
- 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://submissions.floc26.org/fscd/
Submissions must be formatted using the LIPIcs style files (
https://submission.dagstuhl.de/series/details/5#author) and submitted
via EasyChair.
Submissions can be made in two categories: regular research papers and
system descriptions. Please indicate in the submission page in HotCRP and
in the first page of the paper in which category you are submitting.
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 that 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 contribution is made by the junior researcher(s).
- CODE OF CONDUCT
FSCD 2026 stands by the FLoC 2026 Code of conduct (
https://www.floc26.org/policies).
- PROGRAM COMMITTEE CHAIR
Frank Pfenning, Carnegie Mellon University
CAV 2026: 38th INTERNATIONAL CONFERENCE ON COMPUTER AIDED VERIFICATION
July 26-29, 2026, Lisbon, Portugal
https://conferences.i-cav.org/2026/
CALL FOR PAPERS
- CAV is a leading forum on theory and practice of formal-analysis
methods for hardware and software systems, from foundational algorithms to
practical tools. CAV 2026 will be part of FLoC 2026.
Submissions are sought in four categories: Regular Papers, Short Tool
Papers, Short Application Papers, Industrial Experience Reports & Case
Studies.
- IMPORTANT DATES
Paper submission: January 28, 2026 (AoE) 
Author Response (Rebuttal) Period: March 30-April 1, 2026 
Notification: Apr 17, 2026
CiE 2026: Computability in Europe
July 27-31
CALL FOR PAPERS
- Computability in Europe (CiE) is an interdisciplinary series of
international conferences organized by the Association Computability in
Europe (ACiE). CiE brings together both basic and application-oriented
research in computability-related areas of science. The conference welcomes
research contributions on computability-related fields of science,
including mathematics, theoretical computer science, logic, quantum
computability, cryptography, information theory, computational biology,
computational linguistics, history and philosophy of computability, and
many other related subjects.
After having taken place in Amsterdam (NL) and Lisbon (P) in 2024 and
2025, CiE will move to Trier (D) in 2026 with its 21st edition. Special
features include:
- Colocation with MCU and CCA.
- Accepted contributed papers will be published in an LNCS volume in
the ARCoSS subline.
- Six Special Sessions dedicated to certain aspects of computability.
- Six invited speakers, two tutorial speakers
So, get your papers ready for submission. What to put into your calendar:
- IMPORTANT DATES
Abstract deadline: Jan 29, 2026
Full Paper deadline: Feb 03, 2026
Notification: Apr 27, 2026
Deadline for final papers: May 04, 2026
ICALP 2026: 53rd EATCS International Colloquium on Automata, Languages, and
Programming
7–10 July, 2026
Royal Holloway, University of London, UK
https://icalppodcspaa2026.cs.rhul.ac.uk/icalp/
Co-located with PODC and SPAA
CALL FOR PAPERS
- ICALP is the main conference and annual meeting of the European
Association for Theoretical Computer Science (EATCS). As usual, the
conference will be preceded by a series of workshops, which will take place
on 6 July 2026. Papers presenting original research on all aspects of
theoretical computer science are sought. The conference is divited into two
tracks:
- Track A: Algorithms Complexity and Games
- Track B: Automata, Logic, Semantics, and Theory of Programming
For a full list of topics, details and instructions of submission for
track A and track B, please visit the official call for papers at
https://icalppodcspaa2026.cs.rhul.ac.uk/icalp/
- IMPORTANT DATES
Abstract Registration Deadline: 3 February 2026 (AoE)
Submission Deadline: 6 February 2026 (AoE)
Track B rebuttal period: Mar 21, 2026
Author notification: Apr 20, 2026
Conference: Jul 7–10, 2026
Workshops: Jul 06, 2026For Track A: Authors will be contacted only if
there are correctness issues. Submissions to ICALP 2026 use HotCRP system:
- Submission server Track A: https://icalp26-a.hotcrp.com
- Submission server Track B: https://icalp26-b.hotcrp.com
- PROCEEDINGS
ICALP proceedings are published in the Leibniz International Proceedings
in Informatics (LIPIcs) series. This is a series of high-quality conference
proceedings across all fields in informatics established in cooperation
with Schloss Dagstuhl – Leibniz Center for Informatics. LIPIcs volumes are
published according to the principle of Open Access, i.e., they are
available online and free of charge. The accepted papers will need to
comply with the LIPIcs style.
- AWARDS
During the conference, the following awards will be delivered:
- EATCS award
- Presburger award
- EATCS distinguished dissertation award
- Best papers for Track A and Track B
- Best student papers for Track A and Track B
AiML 2026: 16th International Conference on Advances in Modal Logic
29 June – 3 July 2026
Amsterdam, The Netherlands
https://events.illc.uva.nl/aiml2026/
CALL FOR PAPERS
- 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.
- TOPICS
We invite submissions on all aspects of modal and related logic,
including (but not limited to):
- Semantics and model theory
- Proof theory, also including automated deduction
- Applications of modal logic
- Co-algebraic aspects
- History of modal logic
- Philosophy of modal logic
- Computational or theoretical aspects
- Specific instances and variations of modal logic (e.g., description
logics, dynamic logics, epistemic and deontic logics, modal logics for
agent-based systems, provability and interpretability logics, spatial and
temporal logics, hybrid logic, intuitionistic logic, substructural logics)
- Paper submissions
There will be two types of submissions for AiML 2026:
- Full papers for publication in the proceedings and presentation at the
conference. The proceedings will be published open access via Electronic
Proceedings in Theoretical Computer Science (EPTCS).
- Short presentations intended for presentation at the conference but
not for the published proceedings.
Both types of papers should be submitted electronically using the
EasyChair submission page:
https://easychair.org/conferences/?conf=aiml2026
For more information on submissions and instructions please visit the
online call for papers at:
https://events.illc.uva.nl/aiml2026/Call-for-Papers/
- IMPORTANT DATES
Abstract long papers submission: Feb 20, 2026
Full papers submission: Feb 27, 2026
Full papers acceptance notification: Apr 24, 2026
Short presentation submission: May 05, 2026
Camera-ready version full papers: May 15, 2026
Short presentations acceptance notification: May 20, 2026
Registration deadline: t.b.a.
Camera-ready version short presentations: May 29, 2026
Conference: Jun 29 – Jul 3, 2026
- Program committee chairs
- Marta Bílková (The Czech Academy of Sciences)
- Yanjing Wang (Peking University)
25 years of CEGAR: Special Issue on the Theoretical Foundations and
Applications of Counterexample Guided Abstraction RefinementCALL FOR PAPERS
- Guest editors
- Orna Grumberg, Technion, Israel (email: [email protected])
- Samarjit Chakraborty, UNC Chapel Hill, USA (email:
[email protected])
- Somesh Jha, UW-Madison, USA (email: [email protected])
- SUBMISSION
Please submit your manuscript to Formal Methods in System Design (FMSD)
as a regular submission. Once you enter the details of the manuscript, you
will have the option of choosing a collection. There, choose “Special issue
on 25 years of CEGAR”.
- IMPORTANT DATES (Tentative)
Papers deadline: Feb 28, 2026
Reviews will be provided in approximately 3 months after the deadline.
Revisions will be due approximately one month after the reviews are sent.
- Further information can be found at:
https://sites.google.com/wisc.edu/cegar25/home
SALOMAA PRICECALL FOR NOMINATIONS
- The Salomaa Prize in Automata Theory, Formal Languages, and Related
topics is awarded annually at the conference DLT (Developments in Language
Theory). It consists of the diploma and the prize of 2000 Euros donated by
the University of Turku.
- The award is given to a distinguished researcher for her/his
fundamental achievements in automata theory and related topics. The
achievement might be a single article, a series of articles, or broader
impact on the theory. The main criterion is the scientific excellence of
the work.
- The Salomaa Prize 2026 will be awarded at DLT 2026 in Rouen, France.
- The deadline for nomination is
Nominations: Jan 31, 2026
Nominations, which consist of a description of the nominee's work and
rationale for the award, signed by at least two recognized researchers,
should be sent by electronic mail to the chair of the selection committee:
- Jürgen Dassow, University of Magdeburg, [email protected]
- For all further information, see the guidelines on the Salomaa Prize
website: https://math.utu.fi/salomaaprize/
DEON 2027CALL FOR BIDS
- The DEON steering committee is currently soliciting bids to host the
2027 edition of DEON, the International Conference on Deontic Logic and
Normative Systems. The DEON conference series has been held biannually
since 1991. While its initiators were mostly from computer science, the
series now brings together researchers from various fields, including
computer science, philosophy, legal theory, and linguistics. The host of
the 2027 edition will work together with the program committee to organize
both the scientific and the practical aspects of the event. Proposals
should be emailed to [email protected] by January 15th, 2026
and should include the following:
- A proposal for a DEON-related theme for the 2027 edition;
- The names of the members of the organizing committee;
- Possible or intended dates of the conference;
- The intended venue, with a description of available rooms and
facilities and a plan to make the conference hybrid (in-person and
virtual), including recordings;
- Plans for additional or co-located events, if any;
- An initial rough budget, including the intended registration fees
and funding sources.
Information on previous editions can be found on this website or by
contacting Agata Ciabattoni ([email protected]) and Olivier Roy (
[email protected]).
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 [email protected].
Unsubscribe:
To unsubscribe, please send an email to [email protected] with
the keyword 'unsubscribe' in the message body (without ').
Subscribe:
To subscribe, please send an email to [email protected] with
the keyword 'subscribe' in the message body (without ').
