The 17th International Conference on Deontic Logic and Normative Systems (DEON 2025) was held from June 30 to July 3, 2025 at TU Wien in Vienna. The conference opened with a full‐day of tutorials on June 30, followed by three days of invited talks, paper sessions, and poster presentations.
The org...
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:
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/
Staff Members | Address and Contact Information
Research Fields | Projects | Publications & Software
Datenschutzerklärung