Category:Logic

From Openresearch
Jump to navigation Jump to 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.5
ICLPInternational Conference on Logic ProgrammingA40.8
CSLAnnual Conference on Computer Science Logic43.4
LOPSTRInternational Symposium on Logic-based Program Synthesis and Transformation50.7
TABLEAUXInternational Conference on Theorem Proving with Analytic Tableaux and Related MethodsA55.8
CIAAInternational Conference on Implementation and Application of Automata59.4
TIMEInternational Symposium on Temporal Representation and Reasoning71.1
... further results

Upcoming conferences

AcronymNameCityCountrySubmissions dueStartEnd
AiML 2025Advances in Modal LogicAmsterdamThe NetherlandsJun 29Jul 3
AiML 2026The 16th International Conference on Advances in Modal Logic (AiML 2026)AmsterdamThe NetherlandsMar 6Jun 29Jul 3
AiML 2023The 16th International Conference on Advances in Modal LogicAmsterdamThe NetherlandsMar 6Jun 29Jul 3
AiML 2024The 16th International Conference on Advances in Modal LogicAmsterdamThe NetherlandsMar 6Jun 29Jul 3
LICS 2026The 41st Annual Symposium on Logic in Computer ScienceLisbonPortugalJan 22Jul 20Jul 23
ICLP 2026The 42nd International Conference on Logic ProgrammingLisbonPortugalFeb 7Jul 20Jul 23
TABLEAUX 2026TABLEAUX 2026 (at IJCAR 2026): International Conference on Automated Reasoning with Analytic Tableaux and Related MethodsLisbonPortugalFeb 15Jul 26Jul 29
... further results


Conferences   [Cal. 2016]

<ul><li>The part "[[" of the query was not understood.Results might not be as expected.</li> <!--br--><li>The symbol "[[" was used in a place where it is not useful.</li></ul>  more …


Event Series


Fora

<ul><li>The part "" of the query was not understood.Results might not be as expected.</li> <!--br--><li>Some use of "" in your query was not closed by a matching "".</li></ul>  more …

Projects

<ul><li>The part "" of the query was not understood.Results might not be as expected.</li> <!--br--><li>Some use of "" in your query was not closed by a matching "".</li></ul>  more …

Organizations

<ul><li>The part "" of the query was not understood.Results might not be as expected.</li> <!--br--><li>Some use of "" in your query was not closed by a matching "".</li></ul>  more …

Journals

<ul><li>The part "" of the query was not understood.Results might not be as expected.</li> <!--br--><li>Some use of "" in your query was not closed by a matching "".</li></ul>  more …

Publication Calls

<ul><li>The part "[[" of the query was not understood.Results might not be as expected.</li> <!--br--><li>The symbol "[[" was used in a place where it is not useful.</li></ul>  more …


Subcategories

This category has only the following subcategory.

M

Retrieved from "https://www.openresearch.org/mediawiki/index.php?title=Category:Logic&oldid=218622"