Category:Logic

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

Logic
Editor: Become editor of this category


Top conference series

AcronymTitleCORE2017Avg. acc. rate
LICSIEEE Symposium on Logic in Computer ScienceA*33.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


Conferences   [Cal. 2016]

  • 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 …


Event Series


Fora

  more …

Projects

  more …

Organizations

  more …

Journals

  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 …