EasyChair Smart CFPHelp/Log in
All CFPs for "computational 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
TopicsAdd to watchlist
ICLR2International Conference on Logic and ReasoningTakoradi, GhanaApr 7, 2020Apr 12, 2020computational logic computational agentadd ICLR2 to watchlist
UNIF 2020The 34th International Workshop on UnificationParis, FranceApr 20, 2020Jun 29, 2020constraint solving type checking computational logic unification theoryadd UNIF 2020 to watchlist
TTCS 2020Topics in Theoretical Computer ScienceTehran, IranMar 1, 2020Jul 1, 2020algorithms semantics computational logic theoretical computer scienceadd TTCS 2020 to watchlist
CILC 202035th Edition of the Italian Conference on Computational LogicRende (CS), ItalyJun 26, 2020Sep 24, 2020computational logic artificial intelligenceadd CILC 2020 to watchlist
Copyright © 2002 – 2020 EasyChair