Selected Talks
Selected Talks
On Three-Valued Semantics for Impure Simplicial Complexes ( Colloquium Logicum 2024 )
Bisimulation for Impure Simplicial Complexes (AiML 2024 )
On Two- and Three-Valued Semantics for Impure Simplicial Complexes ( GANDALF 2023 )
Complex Conclusion (CELIA Workshop 2023 )
On Simplicial Semantics (Dagstuhl Seminar 23272 )
WS2025: Reasoning about knowledge (co-teaching with Thomas Studer and Borja Sierra)
I enjoyed co-organizing the workshop "From Complex to Simple " which took place at our institute in September 2024.