All CFPs for "computability"
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 |
---|---|---|---|---|---|---|
MCU2024 | 10th conference on Machines, Computations and Universality | Nice, France | Apr 17, 2024 | Jun 5, 2024 | models of computation complexity universality computability | |
AUTOMATA 2024 | The 30th International Workshop on Cellular Automata and Discrete Complex Systems | Durham, UK | Jul 22, 2024 | cellular automata boolean networks computability discrete complex systems | ||
Wormshop 2024 | Workshop on Proof Theory, Modal Logic and Reflection Principles 2024 | Ghent, Belgium | Sep 2, 2024 | logic proof theory modal logic computability |