Mario Román
Search
Search
Dark mode
Light mode
Explorer
Home
❯
talks
Folder: talks
6 items under this folder.
Jul 29, 2025
Effectful Mealy Machines, Bisimulation and Trace — LiCS Singapore (2025)
Jul 29, 2025
Talk — Partial Markov Categories, at LSC Aix-Marseille (December 2024)
Jul 29, 2025
String Diagrams for Premonoidal Categories — Birmingham Theory Seminar (2025)
May 11, 2025
The Produoidal Algebra of Process Decomposition — CSL24, Naples
May 10, 2025
String Diagrams for Premonoidal Categories — Pisa CS Department Seminar (2024)
May 08, 2025
Partial Markov Categories — Topos Colloquium (2024)