Seminars

We coordinate this seminar series with the seminar series of the Logic and Semantics Group.

Academic year 2021-2022

• 5 May 2022 14:00, CYB-101
  • Greta Coraglia, Coding deductive systems into a 2-category
• 21 April 2022 14:00, CYB-101
  • Chad Nester, On the tensor product of symmetric monoidal theories
• 31 March 2022 14:00, CYB-101
  • Tanguy Massacrier, From combinatorial species to general differential 2-rigs
• 17 March 2022 14:00, online
  • Benjamin Merlin Bumpus, Spined Categories: generalising tree-width beyond graphs
• 10 March 2022 14:00, CYB-101
  • Maaike Zwart, Lessons from failing distributive laws
• 10 February 2022 14:00, CYB-101
  • Mario Román, Premonoidal streams
• 3 February 2022 14:00, CYB-126
  • Fosco Loregian, Fibrational linguistics I: first concepts
• 27 January 2022 14:00, CYB-101
  • Davide Castelnovo, Fuzzy algebraic theories
• 9 December 2021 14:00, online
  • Thomas Seiller, Linear realisability, dynamical systems and lower bounds in complexity
• 18 November 2021 14:00, CYB-101
  • Chad Nester, Material histories and proarrow equipments
• 28 October 2021 15:00, online
  • Mario Román, A canonical algebra of open transition systems
• 16 September 2021 14:00, CYB-101
  • Cole Comfort, A graphical calculus for Lagrangian relations
• 10 September 2021 15:00, CYB-401
  • Giovanni de Felice

Academic year 2020-2021

• 17 June 2021 17:00, online
  • Todd Trimble, Introduction to plethories
• 3 June 2021 14:00, online
  • Bruno Gavranović, Neural Networks through the Lens of Category Theory
• 27 May 2021 14:00, online
  • Torie Barrett, Atomic flows and normalisation
• 06 May 2021 14:00, online
  • Ugo Dal Lago, On Differential Program Semantics
• 15 Apr 2021 14:00, online
  • Chad Nester, Functorial Semantics for Partial and Relational Theories
• 25 Mar 2021 14:00, online
  • Alessandro Gianola, Toward a Compositional Verification of Data-Aware Processes via CospanSpan(Graph)
• 11 Mar 2021 14:00, online
  • Matteo Capucci, My name is stochastic calculus but everybody calls me calculus
• 04 Mar 2021 17:00, online
  • Jason Parker, Isotropy of algebraic theories
• 11 Feb 2021 14:00, online
  • Soichiro Fujii, Algebraic theories, bimodels and Gabriel-Ulmer duality
• 28 Jan 2021 14:00, online
  • Cole Comfort, Categorical Semantics of the ZX-calculus
• 21 Jan 2021 14:00, online
  • Elena Di Lavore, Compositional modelling of network games
• 26 Nov 2020 14:00, online
  • Evangelia Aleiferi, Cartesian Double Categories and Profunctors
• 05 Nov 2020 13:00, online
  • Christina Vasilakopoulou, Categorical Semantics of Cyber-Physical Systems
• 29 Oct 2020 14:00, online
  • Ivan Di Liberti, Formal Model Theory and Higher Topology
• 22 Oct 2020 14:00, online
  • James Wood, A Hygiene and Framework for Linear Calculi with Binding
• 08 Oct 2020 14:00, online
  • Davide Castelnovo, Equational theories in an enriched context
• 01 Oct 2020 14:00, online
  • Robin Piedeleu, A diagrammatic axiomatisation of finite-state automata
• 03 Sep 2020 14:00, online
  • Hector Miller-Bakewell, Quantum Graphical Calculi and their Algebraic Underpinnings
• 27 Aug 2020 14:00, online
  • Fabrizio Romano Genovese, Sigma nets and Yoneda haking - Running tests over a nice compromise

Academic year 2019-2020

• 20 Aug 2020 16:00, online
  • Martti Karvonen, Towards categorical composable cryptography
• 13 Aug 2020 18:00, online
  • Robin Cockett, Fibrations for partial maps
• 06 Aug 2020 17:00, online
  • Jonathan Gallagher, Introduction to differential categories
• 30 July 2020 14:00, online
  • Carmen Constantin, Topos theoretic perspective on entropy
• 11 June 2020 14:00, online
  • Amar Hadzihasanovic, Diagrammatic sets: weak higher categories for rewriting
• 28 May 16:00, online
  • Stephan Spahn, Reduction of mixed-variance recursion schemes via two-sided fibrations
• 21 May 14:00, online
  • Joachim Kock, Whole-grain Petri nets and processes
• 14 May 14:00, online
  • Sharwin Rezagholi, The support as a morphism from probability to possibility with an application to the entropy theory of dynamical systems
• 23 April 14:00, online
  • Jens Seeber, Logical Completeness for String Diagrams
• 9 April 14:00, online
  • Jules Hedges, Open games: the long road to practical applications
• 20 February 14:00, Tallinn Teacher’s House, Raekoja plats 14
  • Fabio Zanasi, A Categorical Perspective on Bayesian Reasoning
• 13 February 14:00, CYB-101
  • Nathan Haydon, Compositional Diagrammatic First-Order Logic
• 6 February 14:00, CYB-101
  • Eigil Rischel, 0-1 Laws and category theory
• 30 January 14:00, CYB-101
  • João de Paixão, Diagrams in the classroom
• 12 December 14:00, CYB-101
  • Ed Morehouse, Double-Categorical Models of Directed Universes
• 21 November 14:00, ICT-315
  • Nick Behr, Category-theoretical rewriting theory 2.0: on rule algebras and tracelets

Mailing list

We send weekly emails announcing the talks. You can subscribe or unsubscribe.