Academic Field:Logic

Event Series

List

AiML - Advances in Modal Logic

Logic

CIAA - International Conference on Implementation and Application of Automata

Logic

CSL - Annual Conference on Computer Science Logic

Computer Science Logic

Commonsense - International Symposium on Logical Formalizations of Commonsense Reasoning

Logic

ILP - International Conference on Inductive Logic Programming

Logic

LICS - IEEE Symposium on Logic in Computer Science

Computer Science Logic

LOPSTR - International Symposium on Logic-based Program Synthesis and Transformation

Logic

TABLEAUX - International Conference on Theorem Proving with Analytic Tableaux and Related Methods

Logic

TIME - International Symposium on Temporal Representation and Reasoning

Logic

Events

List

CSL 2024

2024-02-19 → 2024-02-23

Computer Science Logic

CIAA 2023

2023-09-19 → 2023-09-22

Logic

CSL 2023

2023-02-13 → 2023-02-16

Computer Science Logic

CIAA 22

2022-06-28 → 2022-07-01

Logic

CSL 2022

2022-02-14 → 2022-02-19

Computer Science Logic

CSL 2021

2021-01-25 → 2021-01-28

Computer Science Logic

CSL 2020

2020-01-13 → 2020-01-16

Computer Science Logic

LICS 2019

2019-06-24 → 2019-06-27

Computer Science Logic

CSL 2018

2018-09-04 → 2018-09-07

Computer Science Logic

LICS 2018

2018-07-09 → 2018-07-12

Computer Science Logic

CSL 2017

2017-08-20 → 2017-08-24

Computer Science Logic

LaSh 2016

2016-10-17 → 2016-10-17

Artificial Intelligence Computer Science Logic Knowledge Representation

CSL 2016

2016-08-29 → 2016-09-01

Computer Science Logic

CSL 2015

2015-09-07 → 2015-09-10

Computer Science Logic

CSL 2014

2014-07-14 → 2014-07-18

Computer Science Logic

LICS 2014

2014-07-14 → 2014-07-18

Logic

CSL 2013

2013-09-02 → 2013-09-05

Computer Science Logic

LICS 2013

2013-06-25 → 2013-06-28

Logic

CSL 2012

2012-09-03 → 2012-09-06

Computer Science Logic

LICS 2012

2012-06-25 → 2012-06-28

Logic

CSL 2011

2011-09-12 → 2011-09-15

Computer Science Logic

LICS 2011

2011-06-21 → 2011-06-24

Logic

LICS 2010

2010-11-07 → 2010-07-14

Logic

CSL 2010

2010-08-23 → 2010-08-27

Computer Science Logic

LICS 2009

2009-11-08 → 2009-08-14

Logic

CSL 2009

2009-09-07 → 2009-09-11

Computer Science Logic

CSL 2008

2008-09-15 → 2008-09-19

Computer Science Logic

WoLLIC 2008

2008-07-01 → 2008-07-04

Logic

LICS 2008

2008-06-24 → 2008-06-27

Logic

ISMVL 2008

2008-04-22 → 2008-05-24

Logic

LICS 2007

2007-10-07 → 2007-12-07

Logic

CSL 2007

2007-09-11 → 2007-09-15

Computer Science Logic

LICS 2006

2006-12-08 → 2006-08-15

Logic

CSL 2006

2006-09-25 → 2006-09-29

Computer Science Logic

CSL 2005

2005-08-22 → 2005-08-25

Computer Science Logic

LICS 2005

2005-06-26 → 2005-06-29

Logic

CSL 2004

2004-09-20 → 2004-09-24

Computer Science Logic

LICS 2004

2004-07-14 → 2004-07-17

Logic

CSL 2003

2003-08-25 → 2003-08-30

Computer Science Logic

LICS 2003

2003-06-22 → 2003-06-25

Logic

CSL 2002

2002-09-22 → 2002-09-25

Computer Science Logic

LICS 2002

2002-06-22 → 2002-06-25

Logic

CSL 2001

2001-09-10 → 2001-09-13

Computer Science Logic

LICS 2001

2001-06-16 → 2001-06-19

Logic

CSL 2000

2000-08-21 → 2000-08-26

Computer Science Logic

LICS 2000

2000-06-26 → 2000-06-29

Logic

LICS 1999

1999-02-07 → 1999-05-07

Logic

LICS 1998

1998-06-21 → 1998-06-24

Logic

LICS 1997

1997-06-29 → 1997-02-07

Logic

LICS 1996

1996-07-27 → 1996-07-30

Logic

LICS 1995

1995-06-26 → 1995-06-29

Logic

LICS 1994

1994-04-07 → 1994-07-07

Logic

LICS 1993

1993-06-19 → 1993-06-23

Logic

LICS 1992

1992-06-22 → 1992-06-25

Logic

LICS 1991

1991-07-15 → 1991-07-18

Logic

LICS 1990

1990-04-06 → 1990-07-06

Logic

LICS 1989

1989-05-06 → 1989-08-06

Logic

LICS 1988

1988-05-07 → 1988-08-07

Logic

LICS 1987

1987-06-22 → 1987-06-25

Logic

LICS 1986

1986-06-16 → 1986-06-18

Logic