All CFPs for "foundations of mathematics"

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

NCL'22 | Non-Classical Logics. Theory and Applications 2022 | Łódź, Poland | Nov 14, 2021 | Mar 14, 2022 | non classical logics logic in computer science formal ontology foundations of mathematics | |

WoLLIC 2022 | Workshop on Logic, Language, Information and Computation | Iași, Romania | Sep 20, 2022 | artificial intelligence philosophy of mathematics foundations of computing foundations of mathematics |