Difference between revisions of "Public:Seminar"

m
(linking the files)
Line 7: Line 7:
* 18 March 2021: '''Samson Abramsky''' gave an Introduction to Arboreal Categories (part I)
* 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
* 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
* 4 March 2021: '''Anuj Dawar''' talked about Invertible Map Games and Linear Algebraic Quantifiers, '''[[:File:2021-03-21 - Invertible Map Games and Linear Algebraic Quantifiers (Anuj).pdf|(slides)]]'''
* 3 December 2020: '''Nihil Shah''' talked about progress on pebble-relation comonad
* 3 December 2020: '''Nihil Shah''' talked about progress on pebble-relation comonad
* 12 November 2020: '''Dan Marsden''' talked about acyclicity in finite Kripke structures
* 12 November 2020: '''Dan Marsden''' talked about acyclicity in finite Kripke structures
Line 17: Line 17:
* 3 September 2020: '''Louis Parlant''' from the UCL talked about his recent PhD work on general methods for composing monads via distributive laws
* 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)
* 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
* 30 July 2020: '''Nihil Shah''' talked about the loosely guarded fragment and hypertree width, '''[[:File:Nihil Shah - Characterisations of Clique Width (notes).pdf|(notes)]]'''
* 23 July 2020: '''Samson Abramsky''' talked about comonadic semantics for guarded fragments
* 23 July 2020: '''Samson Abramsky''' talked about comonadic semantics for guarded fragments
* 16 July 2020: '''Rui Soares Barbosa''' talked about the Quantum monad
* 16 July 2020: '''Rui Soares Barbosa''' talked about the Quantum monad
Line 24: Line 24:
* 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
* 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
* 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
* 28 May 2020: '''Samson Abramsky''' talked about some of the new material in the extended journal version of his CSL paper with Nihil, '''[[:File:2020-05-28 - Some new material (Samson).pdf|(slides)]]'''
* 14 May 2020: '''Luca Reggio''' talked about the Rossman homomorphism theorem
* 14 May 2020: '''Luca Reggio''' talked about the Rossman homomorphism theorem
* 7 May 2020: '''Dan Marsden''' talked about string diagrams
* 7 May 2020: '''Dan Marsden''' talked about string diagrams

Revision as of 17:00, 15 April 2021

Upcoming

Previous

  • 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
Retrieved from "https://kam.mff.cuni.cz/~jaklt/comonadwiki/index.php?title=Public:Seminar&oldid=711"