School of Computer Science

Theory Series

Seminar series in theoretical computer science.

Theoretical computer science seminar

Teaching old type systems new tricks with type providers

  • Speaker: Tomas Petricek (Alan Turing Institute)
  • Date: Friday 26 January 2018, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

Handlers in Scope with Adjunctions

  • Speaker: Nicholas Wu (Bristol)
  • Date: Friday 23 February 2018, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).