All CFPs for "automated reasoning"
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.
Acronym | Name | Location | Submission deadline | Start date | Topics | ![]() |
---|---|---|---|---|---|---|
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 | ![]() |