Mario Román

Home

❯

talks

Folder: talks

5 items under this folder.

  • Jul 29, 2025

    Talk — Effectful Mealy Machines, Bisimulation and Trace, LiCS 2025, Singapore

    • Jul 29, 2025

      Partial Markov Categories — Topos Colloquium (2024)

      • Jul 29, 2025

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

        • Jul 29, 2025

          Talk — String Diagrams for Premonoidal Categories, at the theory seminar, Birmingham (March 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