From Openresearch
Jump to: navigation, search

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).

Editor: Become editor of this category

Top conference series

AcronymTitleCORE2017Avg. acc. rate
LICSIEEE Symposium on Logic in Computer Science33.7
CSLAnnual Conference on Computer Science LogicB39.0
LOPSTRInternational Symposium on Logic-based Program Synthesis and TransformationB50.7
CIAAInternational Conference on Implementation and Application of AutomataB57.5
ILPInternational Conference on Inductive Logic ProgrammingB58.3
TIMEInternational Symposium on Temporal Representation and Reasoning71.1

Upcoming conferences

AcronymNameCityCountrySubmissions dueStartEnd
AiML 202013th Advances in Modal LogicHelsinkiFinlandMar 25Aug 17Aug 21
LOPSTR 202030th International Symposium on Logic-Based Program Synthesis and TransformationBolognaItalyJun 12Sep 7Sep 9
CIAA 202025th International Conference on Implementation and Application of AutomataLoughboroughUKMay 5Sep 8Sep 11
ILP 2020International Conference on Inductive Logic ProgrammingAthensGreeceMay 29Sep 9Sep 11
ICLP 2020International Conference on Logic ProgrammingRendeItalySep 18Sep 24
TIME 202027th International Symposium on Temporal Representation and ReasoningBozen-BolzanoItalyMay 10Sep 23Sep 25

Conferences   [Cal. 2016]

AiML 2020 (Helsinki, 17 August 2020)
LOPSTR 2020 (Bologna, 7 September 2020)
CIAA 2020 (Loughborough, 8 September 2020)

Event Series


  more …


  more …


  more …


  more …

Publication Calls

  • The part "[[" of the query was not understood. Results might not be as expected.
  • The symbol "[[" was used in a place where it is not useful.
  more …