We congratulate Xavier Parent and Dominik Pichler:
We congratulate Agata Ciabattoni and Dmitry Rozplokhas for the Ray Reiter Best Paper Award at the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023.
You can read the full paper here: Streamlining Input/Output Logics with Sequent Calculi by Agata Ciabat...
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;
- Rela...
We congratulate Stefan Podlipnig:
https://www.tuwien.at/tu-wien/aktuelles/news/news/das-waren-die-best-teaching-awards-2022
We congratulate Lara Spendier:
http://www.vcla.at/2022/03/lara-spendier-receives-2022-tu-womens-award/