---
title: "LICS (A*): papers and universities"
description: "LICS (IEEE Symposium on Logic in Computer Science) is rated A* by the CORE Conference Rankings (ICORE2026); OpenAlex lists 146 of its papers from 2024–2026 (72 in 2024, 74 in 2025; 2026 not in OpenAlex yet). By the countries of the authors' institutions, the most papers come from the United Kingdom (55), France (40) and Germany (33)."
url: https://scholar4ai.com/proceedings/lics
markdown_url: https://scholar4ai.com/proceedings/lics.md
license: CC BY-NC 4.0 (https://creativecommons.org/licenses/by-nc/4.0/)
share_text: "LICS (IEEE Symposium on Logic in Computer Science) is rated A* by the CORE Conference Rankings (ICORE2026); OpenAlex lists 146 of its papers from 2024–2026 (72 in 2024, 74 in 2025; 2026 not in OpenAlex yet). (as of 2026-11-02)"
data_url: https://scholar4ai.com/data/rankings.json
updated: 2026-11-02T12:20:52+09:00
window: 2026-10-04 to 2026-11-02
source: OpenAlex (CC0)
---

# LICS: IEEE Symposium on Logic in Computer Science — papers and institutions, 2024–2026

Papers of LICS, IEEE Symposium on Logic in Computer Science (CORE rank A*; field: Theory of computation), 2024–2026: per year, the institutions, countries and topics, and the most-cited papers. Ranks are those of the CORE Conference Rankings, edition ICORE2026 (portal.core.edu.au), applied to every year shown. Papers are the works OpenAlex lists for the conference's proceedings, or for the issues of a conference-linked journal that publishes its papers (such as PACMPL, PVLDB or ACM TOG), by publication year; workshops, companion volumes, posters and Findings are left out. A paper counts once for each institution and country among its authors' affiliations as OpenAlex assigns them; papers without affiliations in OpenAlex count for none. For conferences published in book series that OpenAlex files as one source (LNCS, LIPIcs, SIAM and IOS Press proceedings), the papers are found by DOI: those of the volumes with the conference's title in Crossref, or LIPIcs DOIs, which name the conference. Conferences without DOIs (PMLR, USENIX, OpenReview) are listed without counts. A dash (–) for a year means OpenAlex has no papers of the conference for it yet: the proceedings are not published or indexed yet, or the conference did not meet that year (some meet every other year). 2026 counts what OpenAlex had indexed by 2026-11-02.

All conferences: https://scholar4ai.com/proceedings.md

## Key findings

- LICS (IEEE Symposium on Logic in Computer Science) is rated A* by the CORE Conference Rankings (ICORE2026); OpenAlex lists 146 of its papers from 2024–2026 (72 in 2024, 74 in 2025; 2026 not in OpenAlex yet).
- By the countries of the authors' institutions, the most papers come from the United Kingdom (55), France (40) and Germany (33).
- The institutions with the most papers are Centre National de la Recherche Scientifique (26), University of Oxford (16) and University of Warsaw (15).
- Its most-cited paper of these years is “Local consistency as a reduction between constraint satisfaction problems” (2024), with 15 citations.

## Papers per year

*LICS papers per publication year in OpenAlex (–: not in OpenAlex yet)*

| Year | Papers | With affiliations |
|---|---:|---:|
| 2024 | 72 | 72 |
| 2025 | 74 | 65 |
| 2026 | – | – |

## Sources

*Where OpenAlex lists the papers*

| OpenAlex source | Which papers |
|---|---|
| [S4210192682](https://openalex.org/S4210192682) | The conference's proceedings |

## Who publishes there

*Institutions with the most LICS papers, 2024–2026*

| # | Institution | Papers |
|---:|---|---:|
| 1 | [Centre National de la Recherche Scientifique](https://scholar4ai.com/institutions/centre-national-de-la-recherche-scientifique.md) | 26 |
| 2 | [University of Oxford](https://scholar4ai.com/institutions/university-of-oxford.md) | 16 |
| 3 | University of Warsaw | 15 |
| 4 | Institut national de recherche en sciences et technologies du numérique | 11 |
| 5 | Université Paris Cité | 8 |
| 6 | University of Cambridge | 8 |
| 7 | [University of Birmingham](https://scholar4ai.com/institutions/university-of-birmingham.md) | 8 |
| 8 | Aix-Marseille Université | 7 |
| 9 | Institut de Recherche en Informatique Fondamentale | 7 |
| 10 | Max Planck Institute for Software Systems | 7 |

*Countries with the most LICS papers, 2024–2026*

| # | Country | Papers |
|---:|---|---:|
| 1 | United Kingdom | 55 |
| 2 | France | 40 |
| 3 | Germany | 33 |
| 4 | Poland | 20 |
| 5 | Austria | 11 |
| 6 | Netherlands | 9 |
| 7 | United States | 7 |
| 8 | Czechia | 6 |
| 9 | Italy | 6 |
| 10 | Japan | 5 |

*Keywords with the most LICS papers, 2024–2026*

| # | Keyword | Papers |
|---:|---|---:|
| 1 | decidability | 22 |
| 2 | first-order logic | 11 |
| 3 | categorical semantics | 9 |
| 4 | computational complexity | 8 |
| 5 | constraint satisfaction | 7 |
| 6 | fixed-parameter tractability | 6 |
| 7 | homotopy type theory | 6 |
| 8 | undecidability | 6 |
| 9 | NP-hardness | 5 |
| 10 | model checking | 5 |

## Most-cited papers

*Most-cited LICS papers of 2024–2026 (citations counted by OpenAlex)*

| # | Citations | Title | Published | Authors |
|---:|---:|---|---|---|
| 1 | 15 | [Local consistency as a reduction between constraint satisfaction problems](https://doi.org/10.1145/3661814.3662068) | 2024-06-21 | Víctor Dalmau, Jakub Opršal |
| 2 | 10 | [Separation and Encodability in Mixed Choice Multiparty Sessions](https://doi.org/10.1145/3661814.3662085) | 2024-06-21 | Kirstin Peters, Nobuko Yoshida |
| 3 | 8 | [A Nominal Approach to Probabilistic Separation Logic](https://doi.org/10.1145/3661814.3662135) | 2024-06-21 | John M. Li, Jon M. Aytac, Philip Johnson-Freyd et al. |
| 4 | 6 | [Verifying Unboundedness via Amalgamation](https://doi.org/10.1145/3661814.3662133) | 2024-06-21 | Ashwani Anand, Sylvain Schmitz, Lia Schütze et al. |
| 5 | 5 | [Dot-depth three, return of the J-class](https://doi.org/10.1145/3661814.3662082) | 2024-06-21 | Thomas Place, Marc Zeitoun |
| 6 | 5 | [The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems](https://doi.org/10.1145/3661814.3662071) | 2024-06-21 | Manuel Bodirsky, Žaneta Semanišinová, Carsten Lutz |
| 7 | 5 | [A Completeness Theorem for Probabilistic Regular Expressions](https://doi.org/10.1145/3661814.3662084) | 2024-06-21 | Wojciech Różowski, Alexandra Silva |
| 8 | 5 | [Diagrammatic Algebra of First Order Logic](https://doi.org/10.1145/3661814.3662078) | 2024-06-21 | Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon et al. |
| 9 | 4 | [Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory](https://doi.org/10.1109/lics65433.2025.00071) | 2025-06-23 | Bert Lindenhovius, Vladimir Zamdzhiev |
| 10 | 4 | [Discounted-Sum Automata with Real-Valued Discount Factors](https://doi.org/10.1145/3661814.3662090) | 2024-06-21 | Udi Boker |

## Cite this page

Scholar4AI. (2026). LICS: IEEE Symposium on Logic in Computer Science — papers and institutions, 2024–2026. Journal and Conference Research Rankings. Retrieved November 2, 2026, from https://scholar4ai.com/proceedings/lics

```bibtex
@misc{scholar4ai-proceedings-lics,
  author = {{Scholar4AI}},
  title = {LICS: IEEE Symposium on Logic in Computer Science — papers and institutions, 2024–2026},
  year = {2026},
  howpublished = {\url{https://scholar4ai.com/proceedings/lics}},
  urldate = {2026-11-02},
  note = {Journal and Conference Research Rankings; data from OpenAlex (CC0); licensed CC BY-NC 4.0}
}
```

License: CC BY-NC 4.0 (https://creativecommons.org/licenses/by-nc/4.0/).