Category:Logic
Logic in all its facets, including work in philosophy, mathematical logic, logic in computer science (in particular, artificial intelligence, automated theorem proving; possibly, software verification).
Logic  

Editor:  Become editor of this category 
Top conference series
Acronym  Title  CORE2017  Avg. acc. rate 

LICS  IEEE Symposium on Logic in Computer Science  33.7  
CSL  Annual Conference on Computer Science Logic  B  39.0 
LOPSTR  International Symposium on Logicbased Program Synthesis and Transformation  B  50.7 
CIAA  International Conference on Implementation and Application of Automata  B  57.5 
ILP  International Conference on Inductive Logic Programming  B  58.3 
TIME  International Symposium on Temporal Representation and Reasoning  71.1 
Upcoming conferences
Acronym  Name  City  Country  Submissions due  Start  End 

CIAA 2021  International Conference on Implementation and Application of Automata  Bremen  Germany  Mar 20  Jul 19  Jul 23 



Pages in category "Logic"
The following 84 pages are in this category, out of 84 total.
C
L
 LaSh 2016
 LICS
 LICS 1986
 LICS 1987
 LICS 1988
 LICS 1989
 LICS 1990
 LICS 1991
 LICS 1992
 LICS 1993
 LICS 1994
 LICS 1995
 LICS 1996
 LICS 1997
 LICS 1998
 LICS 1999
 LICS 2000
 LICS 2001
 LICS 2002
 LICS 2003
 LICS 2004
 LICS 2005
 LICS 2006
 LICS 2007
 LICS 2008
 LICS 2009
 LICS 2010
 LICS 2011
 LICS 2012
 LICS 2013
 LICS 2014
 LICS 2015
 LICS 2016
 LICS 2017
 LICS 2018
 LICS 2019
 LICS 2020
 LID 2008
 LOPSTR
 LOPSTR 2016
 LOPSTR 2017
 LOPSTR 2018
 LOPSTR 2019
 LOPSTR 2020