All CFPs for "logic in computer science"
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.
Acronym | Name | Location | Submission deadline | Start date | Topics | ![]() |
---|---|---|---|---|---|---|
PLS 2022 | 13th Panhellenic Logic Symposium 2022 | Volos, Greece | Mar 31, 2022 | Jul 6, 2022 | mathematical logic philosophical logic logic in computer science set theory | ![]() |
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 | ![]() |
AILA2022 | Incontro AILA 2022 | Caserta, Italy | Apr 30, 2022 | Sep 12, 2022 | mathematical logic logic in computer science logic in philosophy | ![]() |