EasyChair Smart CFPHelp/Log in
All CFPs for "logic"

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
NameLocation
Submission
deadline
Start date
Topics
Add to watchlist
LANMR 2023Fifteenth Latin American Workshop on New Methods of Reasoning: Logic / Languages, Algorithms, New Methods of ReasoningMexico City, MexicoSep 8, 2023Nov 16, 2023logic automated reasoning formal methodsadd LANMR 2023 to watchlist
AiNCM24Advances in Non-Classical MathematicsOstrava, CzechiaJan 31, 2024philosophy of mathematics logic mathematicsadd AiNCM24 to watchlist
Ackermann23Ackermann Award 2023Naples, ItalyJul 1, 2023logicadd Ackermann23 to watchlist
LPAR 202425th Conference on Logic for Programming, Artificial Intelligence and ReasoningPort Louis, MauritiusFeb 23, 2024May 26, 2024automated reasoning logic programming smtadd LPAR 2024 to watchlist
Copyright © 2002 – 2023 EasyChair