LICS Acceptance Rate and Submission Statistics

ACM/IEEE Symposium on Logic in Computer Science is tracked by CS Conf Stats as a FMV conference. The dataset covers 31 events from 1989-2024.

LICS 2024 accepted 72 papers out of 236 submissions, for an acceptance rate of 30.5%.

Official website | Proceedings

Latest Acceptance Rate
30.5%
2024: 72 accepted / 236 submitted
Years Covered
31
1989-2024
Discipline
FMV
Logic in Computer Science, Formal Methods & Verification, Programming Languages & Type Theory

Yearly Statistics

Year Location Accepted Submitted Acceptance Rate Second Track Note
2024 Tallinn, Estonia 72 236 30.5%
2023 Boston, USA 63 192 32.8%
2022 Haifa, Israel 63 181 34.8%
2021 Online, Online 91 227 40.1%
2020 Online, Online 69 174 39.7%
2019 Vancouver, Canada 60 154 39.0%
2018 Oxford, UK 92 217 42.4%
2017 Reykjavik, Iceland 89 224 39.7%
2016 New York City, USA 85 191 44.5%
2015 Kyoto, Japan 61 176 34.7%
2014 Vienna, Austria 74 212 34.9%
2013 New Orleans, USA 57 165 34.5%
2012 Dubrovnik, Croatia 60 171 35.1%
2011 Toronto, Canada 37 114 32.5%
2010 Edinburgh, Scotland, UK 39 149 26.2%
2009 Los Angeles, California, USA 39 130 30.0%
2008 Pittsburgh, USA 39 116 33.6%
2007 Wroclaw, Poland 39 133 29.3%
2006 Seattle, USA 39 152 25.7%
2005 Chicago, USA 44 127 34.6%
2004 Turku, Finland 40 168 23.8%
2003 Ottawa, Canada 34 122 27.9%
2002 Copenhagen, Denmark 36 135 26.7%
2001 Boston, USA 36 104 34.6%
1998 Indianapolis, USA 42 120 35.0%
1997 Warsaw, Poland 39 108 36.1%
1996 New Brunswick, USA 47 175 26.9%
1995 San Diego, California, USA 44 137 32.1%
1993 Montreal, Canada 38 151 25.2%
1990 Philadelphia, USA 46 185 24.9%
1989 Pacific Grove, California, USA 38 139 27.3%

Conference Details

Full Title
ACM/IEEE Symposium on Logic in Computer Science
Main Discipline
Logic in Computer Science, Formal Methods & Verification, Programming Languages & Type Theory
Other Topics
Automata Theory, Model Checking & Decision Procedures, Proof Theory & Automated Deduction, Concurrency & Process Calculi, Knowledge Representation & Description Logics
Parent Organization
ACM SIGLOG, IEEE CompSoc
Notes
No conference-level note is recorded.

More LICS Pages

Interactive chart: LICS on the main CS Conf Stats chart.

Related FMV conferences: CAV, TACAS, FM.