All CFPs for "first order and modal formalisms"

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

LATD2023 | Logic, Algebra and Truth Degrees 2023 | Tbilisi, Georgia | Apr 15, 2023 | Sep 11, 2023 | proof theory computational complexity algebraic semantics first order and modal formalisms |