All CFPs for "automated reasoning"
CFPs in the table are ordered by the end date.
Click on the CFP acronym to open this CFP.
To add a CFP to your watchlist, click .
Click on a topic to see related CFPs.
CFPs are ordered by the end date.
The table below uses the following colors: in my watchlist, other.
Acronym | Name | Location | Submission deadline | Start date | Topics | Add to watchlist |
---|---|---|---|---|---|---|
AITP 2023 | 8th Conference on Artificial Intelligence and Theorem Proving | Aussois, France | May 5, 2023 | Sep 3, 2023 | automated reasoning artificial intelligence | ![]() |
AReCCa 2023 | International Workshop on Automated Reasoning with Connection Calculi | Prague, Czechia | Sep 4, 2023 | Sep 18, 2023 | automated reasoning automated theorem proving connection calculus logic | ![]() |
TABLEAUX 2023 | 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods | Prague, Czechia | May 14, 2023 | Sep 18, 2023 | automated reasoning | ![]() |
KI2023 | 46th German Conference on Artificial Intelligence | Berlin, Germany | May 8, 2023 | Sep 26, 2023 | artificial intelligence formal methods automated reasoning machine learning | ![]() |
LANMR 2023 | Fifteenth Latin American Workshop on New Methods of Reasoning: Logic / Languages, Algorithms, New Methods of Reasoning | Mexico City, Mexico | Sep 8, 2023 | Nov 16, 2023 | logic automated reasoning formal methods | ![]() |