Scholar4AI Updated 2026-11-02 12:20 UTC+09:00

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. Also as Markdown.

Share: X LinkedIn Bluesky Threads Facebook Reddit Hacker News Hatena LINE Email
Copy:

← All conferences

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)
YearPapersWith affiliations
20247272
20257465
2026––

Sources#

Where OpenAlex lists the papers
OpenAlex sourceWhich papers
S4210192682The conference's proceedings

Who publishes there#

Institutions with the most LICS papers, 2024–2026
#InstitutionPapers
1Centre National de la Recherche Scientifique26
2University of Oxford16
3University of Warsaw15
4Institut national de recherche en sciences et technologies du numérique11
5Université Paris Cité8
6University of Cambridge8
7University of Birmingham8
8Aix-Marseille Université7
9Institut de Recherche en Informatique Fondamentale7
10Max Planck Institute for Software Systems7
Countries with the most LICS papers, 2024–2026
#CountryPapers
1United Kingdom55
2France40
3Germany33
4Poland20
5Austria11
6Netherlands9
7United States7
8Czechia6
9Italy6
10Japan5
Keywords with the most LICS papers, 2024–2026
#KeywordPapers
1decidability22
2first-order logic11
3categorical semantics9
4computational complexity8
5constraint satisfaction7
6fixed-parameter tractability6
7homotopy type theory6
8undecidability6
9NP-hardness5
10model checking5

Most-cited papers#

Most-cited LICS papers of 2024–2026 (citations counted by OpenAlex)
#CitationsTitlePublishedAuthors
115Local consistency as a reduction between constraint satisfaction problems2024-06-21Víctor Dalmau, Jakub Opršal
210Separation and Encodability in Mixed Choice Multiparty Sessions2024-06-21Kirstin Peters, Nobuko Yoshida
38A Nominal Approach to Probabilistic Separation Logic2024-06-21John M. Li, Jon M. Aytac, Philip Johnson-Freyd et al.
46Verifying Unboundedness via Amalgamation2024-06-21Ashwani Anand, Sylvain Schmitz, Lia Schütze et al.
55Dot-depth three, return of the J-class2024-06-21Thomas Place, Marc Zeitoun
65The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems2024-06-21Manuel Bodirsky, Žaneta Semanišinová, Carsten Lutz
75A Completeness Theorem for Probabilistic Regular Expressions2024-06-21Wojciech Różowski, Alexandra Silva
85Diagrammatic Algebra of First Order Logic2024-06-21Filippo Bonchi, Alessandro Di Giorgio, Nathan Haydon et al.
94Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory2025-06-23Bert Lindenhovius, Vladimir Zamdzhiev
104Discounted-Sum Automata with Real-Valued Discount Factors2024-06-21Udi Boker

Conferences in the same field#

SODA · STOC · ICALP · EC · KR · FOCS · SoCG · CAV · ESA · ITCS · APPROX/RANDOM · STACS · IJCAR · CCC · GD · SAT · ALENEX

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

@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}
}

Free to reuse for non-commercial purposes with attribution (CC BY-NC 4.0).