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 | ![]() |
---|---|---|---|---|---|---|
ARC-Symposium2022 | International Symposium on ARC | Timisoara, Romania | Jul 5, 2022 | Jul 18, 2022 | computational logic automated reasoning | ![]() |
ASL 2022 | Advancing Separation Logics | Haifa, Israel | May 10, 2022 | Jul 31, 2022 | automated reasoning computational complexity program verification logic in computer science | ![]() |
IJCAR 2022 | International Joint Conference on Automated Reasoning 2022 | Haifa, Israel | Feb 18, 2022 | Aug 7, 2022 | automated reasoning proof theory logic in computer science inference systems | ![]() |
PAAR 2022 | 8th Workshop on Practical Aspects of Automated Reasoning | Haifa, Israel | May 9, 2022 | Aug 11, 2022 | automated reasoning system implementation logic in computer science | ![]() |