We congratulate Agata Ciabattoni and Dmitry Rozplokhas:
We congratulate Xavier Parent and Dominik Pichler:
MOSAIC 2023 invites submissions on a variety of topics on non-classical logics and their applications, with special emphasis on modal substructural logics.
We invite contributions on relevant aspects of non-classical logics, such as:
- Proof Theory and complexity;
- Algebraic Semantics;
We congratulate Stefan Podlipnig:
We congratulate Lara Spendier: