Talks

You can find the slides of most of my talks here. For more details, you can also check out the corresponding papers.

Scientific Conferences, Seminars, Workshops

• Czech Gathering of Logicians & Beauty of Logic (CGL & BL 2026)
  Czech Academy of Sciences (Prague), February 2026
  Talk: Coalgebraic Dynamic Logic: Safety and Reducibility, 25 min. (Slides)

• 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)

PhD Defense

• Algebraic and coalgebraic modal logic: From Boolean algebras to semi-primal varieties
  University of Luxembourg, June 28, 2024. (Slides)

Other

• 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.