SIGLOG Monthly 270*February 01, 2026*
View Online <https://lics.siglog.org/newsletters/270.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
- GAIW 2026 (CALL FOR PAPERS) <#GAIW2026>
- ICGT 2026 (CALL FOR PAPERS) <#ICGT2026>
- AiML 2026 (CALL FOR PAPERS) <#AiML2026>
- LSFA 2026 (CALL FOR PAPERS ) <#LSFA2026>
- MFCS 2026 (CALL FOR PAPERS) <#MFCS2026>
- C.A.R.L.A. 2026 (CALL FOR PAPERS) <#CARLA2026>
- ITRS 2026 (CALL FOR PAPERS) <#ITRS2026>
- JOB ANNOUNCEMENTS
- POSTDOC AND PHD POSITIONS <#POSTDOCANDPHDPOSITIONS>
Deadlines
GAIW 2026: Feb 04, 2026 (Submission Deadline)
WoLLIC 2026: Feb 16, 2026 (Abstracts deadline), Feb 22, 2026 (Full papers
deadline)
ICGT 2026: Feb 16, 2026 (Abstracts), Feb 23, 2026 (Papers)
AiML 2026: Feb 20, 2026 (Full papers abstracts), Feb 27, 2026 (Full papers)
PLS15: Mar 30, 2026 (Abstracts deadline), May 29, 2026 (Poster abstracts
deadline)
LSFA 2026: Mar 30, 2026 (Abstract deadline), Apr 04, 2026 (Full paper
deadline)
NMR 2026: Apr 03, 2026 (Paper registration), Apr 10, 2026 (Paper)
CONCUR 2026: Apr 20, 2026 (Abstracts), Apr 27, 2026 (Submissions)
MFCS 2026: Apr 24, 2026 (Submissions)
SCML 2026: Apr 27, 2026 (Deadline for extended abstracts)
C.A.R.L.A. 2026: May 02, 2026 (Paper registration), May 08, 2026 (Paper
deadline)
ITRS 2026: May 15, 2026 (Paper)GAIW 2026: The 8th Games, Agents, and
Incentives Workshop
Paphos, Cyprus, May 26, 2026
Webpage: https://gtep-workshops.github.io/gaiw2026/
co-located with AAMAS 2026
CALL FOR PAPERS
- IMPORTANT DATES
Submission Deadline: February 4, 2026 (AoE)
Acceptance Notification: Mar 20, 2026
Camera Ready: TBD (AoE)
Workshop: May 26, 2026
- ABOUT
We invite submissions to the 8th iteration of the Games, Agents and
Incentives Workshop, co-located with AAMAS 2026 in Paphos, Cyprus,
https://cyprusconferences.org/aamas2026/. Games, Agents and Incentives
is a confederated workshop which focuses on agents and incentives in AI. In
particular, it promotes approaches that deal with game theory (cooperative
and non-cooperative), social choice, and agent-mediated e-commerce aspects
of AI systems. The confederated workshop merges multiple workshops that
have been associated with AAMAS in the past, which considered different
aspects of the general interplay between AI and economics including
CoopMAS, AMEC, and EXPLORE.
Over the past two decades, the focus of agent incentives in
decentralised and centralised AI systems has increased dramatically. These
issues come up when designing preference aggregation mechanisms and
markets; computing equilibria and bidding strategies; facilitating
cooperation among agents; and fairly dividing resources.
- SUBMISSION GUIDELINES
Authors should submit full papers electronically in PDF format at:
https://openreview.net/group?id=ifaamas.org/AAMAS/2026/Workshop/GAIW
Formatting
Guidelines: Please format papers according to the AAMAS 2026 format (
https://cyprusconferences.org/aamas2026/submission-instructions/). Paper
Length: Papers can be at most 8 pages long in AAMAS format. Additional
pages may be used for references. Supplemental material can be appended at
the end of the paper. However, reviewers are instructed to make their
evaluations based on the main submission, and are not obligated to consult
the supplemental material.
Multiple Submissions: To widen participation and encourage discussion,
there will be no formal publication of workshop proceedings. We will,
however, post the accepted papers online to the benefit of the participants
to the workshop. Therefore, submission of preliminary work and papers to be
submitted or in preparation for submission to other major venues in the
field are encouraged.
Past Submissions: In order to strike a balance between new work and work
that may have been presented, but not widely seen, we ask that if authors
want to submit published work they do so non-anonymously and clearly
indicate when and where the work was published. We will only accept work
which has been published in the last calendar year (e.g., IJCAI 2025,
NeurIPS 2025, AAAI 2025, AAAI 2026 and any conference held strictly after
Jan 1, 2025).
We invite papers on topics of game theory, mechanism design, fair
allocation, computational social choice, and their applications to
multi-agent systems.
- Best Presentation Award: The organizing committee of GAIW will be
giving two awards (first-place and runner up) for best paper presentations.
The award criteria include the clarity of presentation, the level of
engagement, the content, and discussion handling.
Inquiries: If you have any questions, direct them to
[email protected].
ICGT 2026: International Conference on Graph Transformation
Rennes, France, June 29th - July 3rd
https://conf.researchr.org/track/icgt-2026/icgt-2026-icgt-research-papers
CALL FOR PAPERS
- We invite submissions to the 19th International Conference on Graph
Transformation (ICGT 2026), to be held in Rennes, France, as part of STAF
2026 (Software Technologies: Applications and Foundations) between 29th
June and 3rd July. ICGT is the leading venue for research on graphs and
graph transformation, encompassing theoretical foundations, tools, and
applications. Graph-based formalisms are central to diverse domains
including: software architectures, model driven engineering, network
topologies, cyber-physical systems, quantum computing, exploring molecular
structures, and graph databases.
- ICGT aims to broaden participation
ICGT is not only a theory conference, and we also welcome applications,
tools, and case studies. If your work uses graph rewriting technologies
(e.g., graph databases, quantum compilers, AI/ML), ICGT is for you.
- TOPICS
- Theory: e.g. Models, verification, concurrency, logical aspects
- Applications: e.g. Software engineering, quantum computing,
AI/GNNs, graph databases, business processes
- Tools: e.g. Languages, environments, tool support
- IMPORTANT DATES (AoE)
Abstracts: Feb 16, 2026
Papers: Feb 23, 2026
Notification: Apr 06, 2026
Camera-ready: Apr 27, 2026
- SUBMISSION INFO
Accepted papers will appear in LNCS proceedings. The submission
categories are:
- Regular Research Papers (16 pp LNCS)
- Tool Presentations (8 pp LNCS)
- Vision Papers / Open Challenges (8 pp LNCS)
- Journal-First Extended Abstracts (2 pp LNCS)
Full call details:
https://conf.researchr.org/track/icgt-2026/icgt-2026-icgt-research-papers
- CHAIRS
Blair Archibald and Oszkar Semerath
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)
- 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 instructions
on submission types please visit the website.
- IMPORTANT DATES
Full papers abstracts: Feb 20, 2026
Full papers submission: Feb 27, 2026
Full papers acceptance notification: Apr 24, 2026
Short presentations submission: 5 May 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
- 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)
- CONTACT
To get in touch with the organizers please write to: [email protected]
LSFA 2026: 21st International Symposium on Logical and Semantic Frameworks
with Applications
18 - 19 July 2026
Lisbon, Portugal
https://lsfa-workshop.github.io/2026/
CALL FOR PAPERS
- ABOUT
Logical and semantic frameworks are formal languages used to represent
logics, languages and systems. These frameworks provide foundations for the
formal specification of systems and programming languages, supporting tool
development and reasoning.
We are inviting formal submissions on the following topics, but not
limited to:
- Automated deduction
- Applications of logical and/or semantic frameworks
- Computational and logical properties of semantic frameworks
- Formal semantics of languages and systems
- Implementation of logical and/or semantic frameworks
- Lambda and combinatory calculi
- Logical aspects of computational complexity
- Logical frameworks
- Process calculi
- Proof theory
- Semantic frameworks
- Specification languages and meta-languages
- Type theory
The program committee is chaired by Valeria de Paiva, Topos Institute,
Berkeley and Thaynara de Lima, Federal University of Goiás, Goiânia.
- SUBMISSIONS
Contributions should be written in English and submitted in the form of:
- full papers (with a maximum of 16 pages excluding references) or ;
- short papers (with a maximum of 6 pages excluding references).
They must be unpublished and not submitted simultaneously for
publication elsewhere. The papers should be prepared in latex using EPTCS
style. https://style.eptcs.org/ The submission should be in the form of
a PDF file uploaded to HotCRP. https://submissions.floc26.org/lsfa/ If
software or data is relevant to a paper, a link that provides access to the
software/data must be provided to enable reproduction of results.
Following LSFA traditions, besides Proceedings, we are considering
publishing a Special Issue LSFA 25+26 (more details regarding past
publications at https://lsfa-workshop.github.io/).
- IMPORTANT DATES
Abstract deadline: Mar 30, 2026
Full paper deadline: Apr 04, 2026
Notification of acceptance: May 04, 2026
Conference: Jul 18-19, 2026
MFCS 2026: 51th conference on Mathematical Foundations of Computer Science
Paris, France August 24th-28th, 2026
https://mfcs2026.irif.fr/
CALL FOR PAPERS
- MFCS is among the conferences with the longest history in the field —
the first conference in the series was held already in 1972. Traditionally,
the conference moved between the Czech Republic, Poland, and Slovakia;
since 2013, the conference has traveled around Europe.
- The conference will be preceded, on August 23, by the Young Research
Forum Workshop intended for students and postdocs.
- NEW: Up to 10 papers will be accepted by the program committee, for
which no presence onsite is required.
- Important dates
Submissions: Apr 24, 2026
Author notification: Jun 19, 2026
Camera-ready version: Jun 26, 2026
YRF Workshop: August 23rd (afternoon)
Conference: Aug 24-28, 2026
- Deadlines are firm; late submissions will not be considered. All dates
are AoE.
- Detailed information can be found on the webpage
C.A.R.L.A. 2026: 2nd Workshop on Cognitive Architectures for Robotics: LLMs
and Logic in Action
Lisbon, Portugal
July 18, 2026
https://ws-carla.github.io/web/
Part of FLoC 2026, https://www.floc26.org/
CALL FOR PAPERS
- IMPORTANT DATES
All dates are AoE
Paper registration: May 02, 2026
Paper submission deadline: May 08, 2026
Paper notification: May 22, 2026
Camera-Ready deadline: Jun 19, 2026Accepted papers will be presented as
posters, with a subset selected for oral presentations. The workshop will
take place in person at FLoC 2026, with virtual participation options not
guaranteed at the moment.
- GENERAL INFORMATION
The Workshop on Cognitive Architectures for Robotics: LLMs and Logic in
Action (CARLA) seeks to transform the landscape of intelligent behaviors by
pioneering the integration of large language models (LLMs), symbolic
reasoning, and logic solvers into autonomous systems. As robotics advances
toward 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. This year, the workshop further expands its scope to explicitly
include simulated environments as first-class experimental and
methodological tools. In particular, CARLA emphasizes the use of videogames
and digital twins as scalable, controllable, and safe testbeds for
cognitive robotics research. These environments enable systematic
investigation of embodied reasoning, LLM-driven planning, and logic-based
decision-making under diverse and dynamic conditions that would be
difficult or costly to reproduce in physical settings. By bridging
cognitive architectures with the structured management of virtual
applications, CARLA aims to foster principled approaches to transferring
knowledge and behaviors learned in simulation to real-world systems, while
supporting reproducibility and benchmarking across research efforts.
- SCOPE AND SUBMISSIONS
For a detailed description of topics of interest and submission
guidelines please visit the website. Submissions will be managed via the
FLoC submission system. Papers will remain private during the review
process. All authors must maintain up-to-date profiles to ensure proper
conflict-of-interest management and paper matching. Incomplete profiles may
result in desk rejection. Submit papers through the dedicated C.A.R.L.A.
submission system: https://submissions.floc26.org/carla/
The workshop follows a single-blind review process. Submissions must not
be anonymized by removing author names, affiliations, and acknowledgments.
- ORGANIZATION
- Fabrizio Lo Scudo, University of Calabria, Italy
- Denise Angilica, University of Calabria, Italy
- Sotirios Batsakis, Hellenic Mediterranean University, Greece
- Manuel Alejandro Borroto Santana, University of Calabria, Italy
ITRS 2026: 12th Workshop on Intersection Types and Related Systems
18th July 2026, Lisbon, Portugal
https://itrs2026.tu-dortmund.de/
CALL FOR PAPERS
- IMPORTANT DATES
All deadlines are midnight anywhere-on-earth (AoE).
Paper submission: May 15, 2026
Author notification: Jun 01, 2026
Final version: Jun 28, 2026
Workshop: Jul 18, 2026
- OVERVIEW
ITRS 2026 is affiliated with the 11th International Conference on Formal
Structures for Computation and Deduction (FSCD 2026) and is part of the 9th
Federated Logic Conference (FLoC 2026).
The ITRS workshop aims to bring together researchers working on both the
theory and practical applications of systems based on intersection types
and related systems. We welcome original results or surveys about ongoing
research, short versions of recently published articles or papers submitted
elsewhere, and surveys of ongoing work.
Possible topics for submitted papers include, but are not limited to:
- Formal properties of systems with intersection types.
- Results for related systems, such as union types, refinement types,
or singleton types.
- Applications to lambda calculus and similar systems.
- Applications to pi-calculus and similar systems.
- Applications to programming languages and program verification.
- Applications to other areas, such as database query languages and
program extraction from proofs.
- Related approaches using behavioral/intensional types to
characterize computational properties.
- Quantitative refinements of intersection types.
- SUBMISSION AND PUBLICATION
Authors are invited to submit an extended abstract (between 3 and 5
pages, excluding bibliography) in PDF format through FLoC26 submissions:
https://submissions.floc26.org/itrs/ Extended abstracts should be
written in English using LaTeX. Accepted papers will be presented at the
workshop and will appear on the workshop website as workshop proceedings.
POSTDOC AND PHD POSITIONS: School of Computer Science, University of
Sydney, AustraliaJOB ANNOUNCEMENT
- Postdoc positions
We have a number of postdoctoral positions available (each for 2-3
years), in all areas of Theoretical Computer Science, with at least one
focusing on reactive synthesis and planning, and another on streaming
algorithms. Starting date flexible, but expected around mid- or late 2026.
Base salary (Level A): approx AUD 117k–120k p.a.+ 17% superannuation
(retirement plan), with funding to attend conferences, and no teaching
obligations.
- PhD positions
We also have several PhD positions available in Theoretical Computer
Science, with at least one focusing on reactive synthesis and planning, one
on computational geometry, one on streaming algorithms, and two on
cryptography & game theoretic mechanism design. Starting date is flexible,
but expected around mid- or late 2026.
PhDs are for a duration of 3.5 years (with no mandatory coursework). The
PhD scholarships include: tuition fee waiver; living allowance (approx AUD
40k/year); funding to present at international workshops and conferences;
no teaching obligations, but opportunities for (remunerated) teaching
available.
- For both types of positions, excellent candidates are encouraged to
contact us at [email protected] or [email protected].
For details on the group, see https://usyd-sact.github.io/index.html
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 ').
