Workshop photos

Main page

Group photo

Thanks to Jacqueline Henes for taking this photo!

The SYCO 12 attendees standing in front of some trees

Pub social

The SYCO 12 attendees sitting around tables in a pub

Talks: Monday

Miriam Backens: Flow-preserving rewriting in the ZX-calculus

Miriam Backens presenting 'Flow-preserving rewriting in the ZX-calculus'

Alexei Lisitsa: Automated Reasoning for Tangles with Quantum Verification Applications

Alexei Lisitsa presenting 'Automated Reasoning for Tangles with Quantum Verification Applications'

Quan Long: On the Centre of Strong Graded Monads

Quan Long presenting 'On the Centre of Strong Graded Monads'

Aloïs Rosset: Correspondence between Composite Theories and Distributive Laws

Aloïs Rosset presenting 'Correspondence between Composite Theories and Distributive Laws'

Adrián Doña Mateo: Pushing monads forward

Adrián Doña Mateo presenting 'Pushing monads forward'

David Forsman: Monoidal Meta-Theorem

David Forsman presenting 'Monoidal Meta-Theorem'

Aziz Kharoof: Homotopical characterization of strong contextuality

Aziz Kharoof presenting 'Homotopical characterization of strong contextuality'

Joshua Wrigley: A topos-theoretic framework for reconstruction theorems in model theory

Joshua Wrigley presenting 'A topos-theoretic framework for reconstruction theorems in model theory'

Coffee breaks

The SYCO 12 attendees drinking coffee while standing outside

Workshop dinner

The SYCO 12 attendees sitting around tables in Cherry Reds

The SYCO 12 attendees sitting around tables in Cherry Reds

The SYCO 12 attendees sitting around tables in Cherry Reds

Talks: Tuesday

Sean Moss: The Markov category of a random graph

Sean Moss presenting 'The Markov category of a random graph'

Grégoire Sergeant-Perthuis: Compositional statistical mechanics, entropy and variational inference

Grégoire Sergeant-Perthuis presenting 'Compositional statistical mechanics, entropy and variational inference'

Alessandro Di Giorgio: Diagrammatic Algebra of First Order Logic

Alessandro Di Giorgio presenting 'Diagrammatic Algebra of First Order Logic'

Pablo Donato: The Flower Calculus

Pablo Donato presenting 'The Flower Calculus'

Nick Hu and Calin Tataru: homotopy.io: a proof assistant for finitely-presented globular n-categories

Nick Hu and Calin Tataru presenting 'homotopy.io: a proof assistant for finitely-presented globular n-categories'

Tanguy Massacrier: Single-set cubical categories and their formalisation with a proof assistant

Tanguy Massacrier presenting 'Single-set cubical categories and their formalisation with a proof assistant'

Bruno Gavranović: Categorical Deep Learning: An Algebraic Theory of Architectures

Bruno Gavranović presenting 'Categorical Deep Learning: An Algebraic Theory of Architectures'

Paul B Levy: Game-enriched categories

Paul B Levy presenting 'Game-enriched categories'