Difference between revisions of "Public:Seminar"
m |
|||
Line 2: | Line 2: | ||
=== Upcoming === |
=== Upcoming === |
||
* |
* 17 September 2020: '''Tomas Jakl''' title to be announced |
||
=== Previous === |
=== Previous === |
||
* 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 |
Revision as of 16:01, 7 September 2020
Upcoming
- 17 September 2020: Tomas Jakl title to be announced
Previous
- 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