Jelle Herold

[3S2] Meta-Cedille (Andre Knispel)

[3S2] Succinct Petri Nets (Stefano Gogioso)

[3S2] Structural Operational Semantics for String Diagrams (Fabio Zanasi)

[3S2] Modalities in Type Theory (Alex Gryzlou)

[3S2] Tutorial: Wiring Diagrams (Christina Vasilakopoulou)

[3S2] Tutorial: Indexed Containers, (Frederik Nordval)

[3S2] Fabrizio Genovese, idris-ct

[3S2] André Videla, Typedefs in 15 minutes

[3S2] Andre Knispel, zero-knowledge proofsystems categorically

[3S2] Brick diagrams

[3S2] Open Games Hack

[3S2] Kasper Keunen - GET-protocol

ACT2018: Kathryn Hess — Towards a categorical approach to neuroscience

Smart contract modelled with Petri nets