Mario Román

Home

❯

talks

Folder: talks

6 items under this folder.

  • Aug 23, 2025

    Effectful Mealy Machines, Bisimulation and Trace — LiCS Singapore (2025)

    • Aug 23, 2025

      Partial Markov Categories — Topos Colloquium (2024)

      • Aug 23, 2025

        Talk — Partial Markov Categories, at LSC Aix-Marseille (December 2024)

        • Aug 23, 2025

          String Diagrams for Premonoidal Categories — Pisa CS Department Seminar (2024)

          • Aug 23, 2025

            String Diagrams for Premonoidal Categories — Birmingham Theory Seminar (2025)

            • Jul 29, 2025

              The Produoidal Algebra of Process Decomposition — CSL24, Naples


              Mario Román, CC-BY-SA. Built with Quartz © 2025.

              • GitHub
              • ArXiv
              • OrcID