A message by the #LICS SC Chair that was just sent out:

"Dear LICS Friend,

At the end of December 2025, the LICS Steering Committee decided that LICS 2026 will not be sponsored by ACM nor IEEE. In particular, the proceedings of LICS 2026 will be published by LIPIcs. LICS 2026 will be a part of the FLoC 2026 meeting; of the ten main conferences at this meeting, nine will be run independently, while one will be sponsored by the IEEE.

The main reasons for this decision are:

- Organizing the conference independently is more efficient and avoids the surcharge currently applied to all conference costs by ACM/IEEE.
- LIPIcs offers high-quality, open-access publishing with a transparent and sustainable cost structure.
- Independence ensures that the organization of our community remains in our hands, rather than being determined by external forces that we can neither control nor influence.

We have decided to reevaluate our decision after FLoC 2026 because we wish to fully understand the implications of this change on the organization of future FLoCs, which we consider a major asset to the community. A final decision will be taken after FLoC 2026."

continued below

Enjoying my time at #LICS in #NUS (Singapore). Dealing with the heat + humidity better than I thought I would.
Leaving icy Canberra for tropical Singapore today, for the #LICS conference #LICS2025
My paper 'Semantical Analysis of Intuitionistic Modal Logics between CK and IK', with Jim de Groot and Ian Shillito, is now in its final edited preprint form: https://arxiv.org/abs/2408.00262 . I will travelling to #LICS #LICS2025 to present it in Singapore in late June. #logic #modalLogic
Semantical Analysis of Intuitionistic Modal Logics between CK and IK

The intuitionistic modal logics considered between Constructive K (CK) and Intuitionistic K (IK) differ in their treatment of the possibility (diamond) connective. It was recently rediscovered that some logics between CK and IK also disagree on their diamond-free fragments, with only some remaining conservative over the standard axiomatisation of intuitionistic modal logic with necessity (box) alone. We show that relational Kripke semantics for CK can be extended with frame conditions for all axioms in the standard axiomatisation of IK, as well as other axioms previously studied. This allows us to answer open questions about the (non-)conservativity of such logics over intuitionistic modal logic without diamond. Our results are formalised using the Coq Proof Assistant.

arXiv.org
Is it just me or does the #LICS2025 website https://lics.siglog.org/lics25/ not list how much the conference costs (or a list of associated workshops)? Does anyone have this info? #LICS
LICS 2025

#LICS #LICS2025 accepted papers are now announced: https://lics.siglog.org/lics25/accepted.php . My colleagues are impressed that there remains computer science venues which haven't been taken over by papers about LLMs yet. #logic
LICS 2025

How to Shift to, Grow, and Build Circular Economy | The-14

2024 Circularity Gap Report: Global circularity declines to 7.2%. Urges policy reforms, 'shift,' 'grow,' 'build' strategies based on income. Released January 24

The-14 Pictures
#CallForPapers is out for #LICS #LIC2024 (Logic in Computer Science) in beautiful Tallinn: "an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed" https://lics.siglog.org/lics24/ #logic
LICS 2024