All CFPs for "computational logic"

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**.

The table below uses the following colors: in my watchlist, other.

Acronym | Name | Location | Submission deadline | Start date | Topics | Add to watchlist |
---|---|---|---|---|---|---|

CILC 2024 | 39th Italian Conference on Computational Logic | Rome, Italy | Apr 12, 2024 | Jun 26, 2024 | computational logic logic programming knowledge representation and reasoning artificial intelligence | |

Logic Colloquium 2024 | Logic Colloquium 2024, The European Summer Meeting of the Association for Symbolic Logic | Gothenburg, Sweden | Mar 1, 2024 | Jun 24, 2024 | mathematical logic philosophical logic computational logic | |

UNIF 2024 | The 38th International Workshop on Unification | Nancy, France | Apr 18, 2024 | Jul 2, 2024 | unification automated deduction term rewriting computational logic |