2024W

• Formal Methods in Computer Science / 185.A93 / UE
• Formal Methods in Computer Science / 185.291 / VU

2025S

• Program and System Verification / 184.741 / VU

• Logical Distillation of Graph Neural Networks / Pluska, A., Welke, P., Gärtner, T., & Malhotra, S. (2024). Logical Distillation of Graph Neural Networks. In ICML 2024 Workshop on Mechanistic Interpretability. 21st International Conference on Principles of Knowledge Representation and Reasoning, Hanoi, Viet Nam. https://doi.org/10.34726/7099
  Download: PDF (309 KB)
  Project: StruDL (2023–2027)
• Embedding Intuitionistic into Classical Logic / Pluska, A., & Zuleger, F. (2023). Embedding Intuitionistic into Classical Logic. In R. Piskac & A. Voronkov (Eds.), Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 329–349). https://doi.org/10.29007/b294