Difference between revisions of "Public:Seminar"

Revision as of 14:13, 18 September 2020

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
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
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

@@ Line 2: / Line 2: @@
 === Upcoming ===
-* 17 September 2020: '''Tomas Jakl''' will talk about 3 new Lovasz-type results
 === Previous ===
+* 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)