2024

• Functional Programming for Beginners (in Slovak) | Entership (formerly Naucmeit)
• Proof Generation | Deep Blockchain Fundamentals at ILDS

2023

• Completeness Problems in Matching Logic | RV/ILDS/LOS InFormal Workshop on Logics at ILDS

2022

• The Proof System for Matching Logic | Hybrid KCL-UIUC Meeting at King's College London

Go up