School of Computer Science

Theory Series

Seminar series in theoretical computer science.

Theoretical computer science seminar

Magnitude of Metric Spaces

  • Speaker: Simon Willerton (Maths, Sheffield)
  • Date: Friday 11 May 2018, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

A Unified Perspective of Linear Time Logics using Coalgebras

  • Speaker: Corina Cirstea (Southampton)
  • Date: Friday 27 April 2018, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

Future directions for Java

  • Speaker: Gavin Bierman (Oracle, Cambridge)
  • Date: Friday 04 May 2018, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).