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 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
CIAA 2021International Conference on Implementation and Application of AutomataBremenGermanyMar 20Jul 19Jul 23


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 …