Papers in 2025
66
Papers, all years
2,197
Years indexed
40
Since
1986
Papers in main proceedings (DBLP)
Counts papers published in the venue's main DBLP volume each year. This is not an official acceptance count: it can include short papers and exclude workshop or companion volumes.
verified volumein progressnot yet verifiedClick a bar to open that year.
202566 papers✓ verified
40th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2025, Singapore, June 23-26, 2025
Keywords
Phrases from paper titles, weighted against all venues so each venue's distinctive terms rise to the top.
Loading keywords...
Year by year
Who publishes here
2025 to 2026 · papers count once per institution on them
Academia 66%Industry 0%Government and other 34%
Institutions
- 1Centre National de la Recherche Scientifique🇫🇷29
- 2University of Warsaw🇵🇱16
- 3University of Oxford🇬🇧14
- 4Institut national de recherche en sciences et technologies du numérique🇫🇷10
- 5Max Planck Institute for Software Systems🇩🇪9
- 6Université Paris Cité🇫🇷8
- 7TU Wien🇦🇹7
- 8Institut de Recherche en Informatique Fondamentale🇫🇷7
- 9University of Birmingham🇬🇧7
- 10Friedrich-Alexander-Universität Erlangen-Nürnberg🇩🇪6
- 11University of Cambridge🇬🇧6
- 12University of Nottingham🇬🇧4
Countries
- United Kingdom45
- Germany39
- France36
- Poland21
- Austria12
- Netherlands12
- United States10
- Israel7
- Denmark6
- Japan6
Affiliations from OpenAlex for the papers DBLP lists. A paper with authors from three institutions counts for each of them; the split above is over the top institutions.
Venues like LICS
Closest by the phrases in their paper titles over the last five complete years.
- FSCD International Conference on Formal Structures for Computation and Deduction0.35type theorylinear logiclogiccalculuscategories
- POPL ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages0.25logiccalculusreachabilitylogicshigher-order
- IJCAR International Joint Conference on Automated Reasoning0.23logicfirst-orderlogicscalculuscompleteness
- CONCUR International Conference on Concurrency Theory0.19automatalogicsreachabilityregulargames
- ICALP EATCS International Colloquium on Automata, Languages, and Programming0.17automatacomplexityfiniteregularcsps
Authors
From DBLP author lists of the main volume. Names appear as DBLP lists them.
Authors per paper
2.8 in 2026
Papers by an entirely new team
18% in 2026
Most published at LICS
- Moshe Y. Vardi1986 to 201828
- Martin Grohe1997 to 202425
- Mikolaj Bojanczyk2006 to 202625
- James Worrell1998 to 202623
- Krishnendu Chatterjee2004 to 202523
- Gordon D. Plotkin1987 to 202120
- Joël Ouaknine2003 to 202620
- Paul-André Melliès1992 to 202619
- C.-H. Luke Ong1993 to 202619
- Prakash Panangaden1986 to 202117