Talks
Talks
You can find the slides of most of my talks here. For more details, you can also check out the corresponding papers.
Conference on Algebra and Coalgebra in Computer Science (CALCO 2025)
Strathclyde University (Glasgow), June 2025
Talk: Safety and strong completeness via redcucibility for many-valued coalgebraic dynamic logics, 25 min. (Slides)
Seminar on Applied Mathematical Logic
Institute of Computer Science of the Czech Academy of Sciences, May 2025
Talk: Coalgebraic dynamic logic (re-)visited, 50 min. (Slides)
Advances in Modal Logic (AiML 2024)
Charles University Prague, August 2024
Talk: Positive modal logic over finite MV-chains, 25 min. (Slides)
Lectures on Logic and its Mathematical Aspects (LLAMA)
University of Amsterdam, March 2024
Talk: Algebraic and coalgebraic analysis of some many-valued modal logics, 50 min. (Slides)
Barcelona Seminar on Non-Classical Logics
University of Barcelona, February 2024
Talk: Algebraic and coalgebraic analysis of some many-valued modal logics, 50 min. (Slides)
Prague Workshop on Kleene Algebra and Many-Valued Logic
Institute of Computer Science of the Czech Academy of Sciences, November 2023
Talk: Many-valued coalgebraic logic: From Boolean algebras to semi-primal varieties, 50 min. (Slides)
MOSAIC Workshop 2023
Technical University of Vienna, September 2023
Talk: Many-valued coalgebraic logic: From Boolean algebras to semi-primal varieties, 15 min. (Slides)
LATD 2023
Ivane Javakhishvili State University, September 2023
Talk: Many-valued coalgebraic logic: From Boolean algebras to semi-primal varieties, 25 min. (Slides)
LATD 2022 and MOSAIC Kick Off Meeting
Paestum (Org. University of Salerno), September 2022
Talk: Many-valued coalgebraic modal logic with a semi-primal algebra of truth-degrees, 25 min. (Slides)
TACL 2022
University of Coimbra, June 2022
Talk: Modal logic over semi-primal algebras, 25 min. (Slides)
RAMiCS 2021
Centre International de Rencontres Mathématiques (Marseille), November 2021
Talk: Many-valued modal logic over a semi-primal algebra, 15 min. (Slides)
BLAST 2021
New Mexico State University (held online), June 2021
Talk: A chain of adjunctions for BA and any variety generated by a semi-primal bounded lattice expansion, 25 min. (Slides)
AAA101
University of Novi Sad (held online), June 2021
Talk: A chain of adjunctions for BA and any variety generated by a semi-primal bounded lattice expansion, 15 min. (Slides)
AAA100
Jagiellonian University Krakow (held online), February 2021
Talk: The minor order of homomorphisms via natural dualities, 20 min. (Slides)
Algebraic and coalgebraic modal logic: From Boolean algebras to semi-primal varieties
University of Luxembourg, June 28, 2024. (Slides)
Introductory talks on topics in algebra/logic/dualities at the (highly prestigious) Stroopt Seminar, University of Groningen, 2024.
Vague Necessity: Combining Non-Classical Logics, University of Luxembourg PhD Seminar, Summer Semester 2023.
Through the Looking Glass: Logic and Duality, University of Luxembourg PhD Seminar, Summer Semester 2022.