Public:Seminar

Upcoming

• 13 April 2022: Tomas Jakl will lead a discussion on Comonadic tools in Twin-Width I
• 20 April 2022: Dan Marsden will talk about multimorphisms
• 27 April 2022: Luca Reggio will talk about preservation theorems
• 4 May 2022: we will have a general discussion regarding the future of the project
• 18 May 2022: Elena di Lavore will talk about monoidal width

And at some point in the future, we will also have the talks

• Dan will talk about bialgebraic semantics
• Tomas will talk about Comonads in the Wonderland of (P)CSPs

Would be nice to have:

• Achim Blumensath to speak about his recent paper "ALGEBRAIC LANGUAGE THEORY FOR EILENBERG–MOORE ALGEBRAS"

Previous

• 9 December 2021: Tomas Jakl talked about A game comonads' perspective on Courcelle and Feferman-Vaught-Mostowski theorems, (slides)
• 25 November 2021: Algorithms Discussion II
• 11 November 2021: Algorithms Discussion
• 21 October 2021: Luca Reggio talked about Polyadic sets and homomorphism counting
• 21 October 2021: Samson Abramsky talked about Cohomology for Everyone
• 22 April 2021: Tomas Jakl talked about Discrete density comonads (and combinatorial properties), (slides)
• 25 March 2021: Luca Reggio continued with an Introduction to Arboreal Categories (part II)
• 18 March 2021: Samson Abramsky gave an Introduction to Arboreal Categories (part I)
• 11 March 2021: Nihil Shah talked about Metrics on the homomorphism order
• 4 March 2021: Anuj Dawar talked about Invertible Map Games and Linear Algebraic Quantifiers, (slides)
• 3 December 2020: Nihil Shah talked about progress on pebble-relation comonad
• 12 November 2020: Dan Marsden talked about acyclicity in finite Kripke structures
• 22 October 2020: Samson Abramsky talked about his recent work on open span bisimulation
• 15 October 2020: Luca Reggio talked about (locally) finitely presentable categories
• 8 October 2020: Tom Paine talked about Courcelle’s theorem, covering the regular approach, a game theoretic approach, and how it's related to Comonads
• 24 September 2020: Adam Ó Conghaile talked about Brambles, havens, shelters, and other obstructions to nice decompositions: where do they fit in the world of game comonads?
• 17 September 2020: Tomas Jakl talked about 3 new Lovasz-type results
• 3 September 2020: Louis Parlant from the UCL talked about his recent PhD work on general methods for composing monads via distributive laws
• 13 August 2020: Dan Marsden talked about some simple observations relating to modal logics and model constructions within our setting (early work in progress)
• 30 July 2020: Nihil Shah talked about the loosely guarded fragment and hypertree width, (notes)
• 23 July 2020: Samson Abramsky talked about comonadic semantics for guarded fragments
• 16 July 2020: Rui Soares Barbosa talked about the Quantum monad
• 2 July 2020: Tom Paine talked about game comonads and locality
• 25 June 2020: Luca Reggio talked about some of his recent work on results à la Lovász
• 18 June 2020: Alexis Toumi, a DPhil in Oxford, gave a speculative talk about applications of game comonads for work in linguistics and cognition being conducted in our group
• 11 June 2020: Tomas Jakl talked about "retractions" of comonads
• 28 May 2020: Samson Abramsky talked about some of the new material in the extended journal version of his CSL paper with Nihil, (slides)
• 14 May 2020: Luca Reggio talked about the Rossman homomorphism theorem
• 7 May 2020: Dan Marsden talked about string diagrams
• 30 April 2020: Nihil Shah talked about CSP
• 23 April 2020: Tom Paine talked about Interpreting comonads as adjunctions into modal logic
• 9 April 2020: Adam Ó Conghaile talked about Game comonads and generalised quantifiers