Skip to content

LICS 2027

IEEE Symposium on Logic in Computer Science

Theory

Deadline not announced

From past proceedings

Papers in LICS's main DBLP volume each year, not official acceptance counts.

Full proceedings stats →

Papers in 2025

66

main DBLP volume

5-year change

-10%

vs 2020

Papers, all years

2,197

40 years since 1986

Authors per paper

2.8

2.4 in 2015

By an entirely new team

8%

of 2025 papers

Papers per year1986 to 2025
1986: 42 papers1987: 37 papers1988: 43 papers1989: 41 papers1990: 46 papers1991: 40 papers1992: 44 papers1993: 43 papers1994: 53 papers1995: 48 papers1996: 49 papers1997: 39 papers1998: 47 papers1999: 46 papers2000: 39 papers2001: 42 papers2002: 41 papers2003: 39 papers2004: 46 papers2005: 53 papers2006: 46 papers2007: 44 papers2008: 42 papers2009: 43 papers2010: 46 papers2011: 43 papers2012: 66 papers2013: 62 papers2015: 66 papers2016: 89 papers2017: 94 papers2018: 95 papers2019: 62 papers2020: 73 papers2021: 95 papers2022: 64 papers2023: 67 papers2024: 72 papers2025: 66 papers
Read the 2025 proceedingsProceedings ↗DBLP ↗

Top keywords, 2025

logicautomatareachabilitycategoriesregulartheorydefinabilitygameshigher-orderlanguagesquantumduality

Venues like LICS

  1. FSCD International Conference on Formal Structures for Computation and Deduction0.35type theorylinear logiclogiccalculus
  2. POPL ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages0.25logiccalculusreachabilitylogics
  3. IJCAR International Joint Conference on Automated Reasoning0.23logicfirst-orderlogicscalculus
  4. CONCUR International Conference on Concurrency Theory0.19automatalogicsreachabilityregular

Most published at LICS

  1. Moshe Y. Vardi1986 to 201828
  2. Martin Grohe1997 to 202425
  3. Mikolaj Bojanczyk2006 to 202625
  4. James Worrell1998 to 202623
  5. Krishnendu Chatterjee2004 to 202523

Who publishes here

2025 to 2026 · papers count once per institution on them

Academia 66%Industry 0%Government and other 34%

Institutions

  1. 1Centre National de la Recherche Scientifique🇫🇷29
  2. 2University of Warsaw🇵🇱16
  3. 3University of Oxford🇬🇧14
  4. 4Institut national de recherche en sciences et technologies du numérique🇫🇷10
  5. 5Max Planck Institute for Software Systems🇩🇪9
  6. 6Université Paris Cité🇫🇷8
  7. 7TU Wien🇦🇹7
  8. 8Institut de Recherche en Informatique Fondamentale🇫🇷7

Countries

  1. United Kingdom45
  2. Germany39
  3. France36
  4. Poland21
  5. Austria12
  6. Netherlands12

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.