School of Computer Science

Departmental Series

The Computer Science seminars are on Thursday afternoons at 4pm. They are intended for a broad audience and cover topics that are often of relevance to the social and natural sciences. Tea and biscuits at 5pm in the Coffee Room (room 123 in the Computer Science building).

Computer Science Departmental Series

Taming poultry, an attempt to use Coq for teaching mathematicians about (assisted) proofs

  • Speaker: Corneliu Hoffman (University of Birmingham)
  • Date: Friday 27 October 2017, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

From finitary monads to Lawvere theories: Cauchy completions

  • Speaker: John Power (University of Bath)
  • Date: Friday 20 October 2017, 11:00-12:00
  • Venue: 217, School of Computer Science.

Syntactic and semantic fun with monads

  • Speaker: Fredrik Dahlqvist (UCL)
  • Date: Friday 24 November 2017, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

Reasoning about Path Feasibility of String-Manipulating Programs

  • Speaker: Anthony Widjaja Lin (University of Oxford)
  • Date: Friday 10 November 2017, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

TRAKS: A Universal Key Management Scheme for ERTMS

  • Speaker: Richard Thomas (Birmingham)
  • Date: Thursday 23 November 2017, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

How (not) to use TLS between 3 parties

  • Speaker: Ioana Boureanu (Surrey)
  • Date: Thursday 26 October 2017, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

A concurrent interpretation of the law of excluded middle

  • Speaker: Ulrich Berger (University of Swansea)
  • Date: Friday 17 November 2017, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

Tensor Analysis and Learning

  • Speaker: Dr Haiping Lu (Department of Computer Science, University of Sheffield)
  • Date: Monday 04 December 2017, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

Title to be confirmed

  • Speaker: Olivier Pereira (UC Louvain)
  • Date: Thursday 07 December 2017, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

Universally optimal mitigation strategies for leakage of information

  • Speaker: Pasquale Malacaria (Queen Mary, London)
  • Date: Friday 01 December 2017, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

A Curry-Howard Correspondence for Event-Based Programming

  • Speaker: Neel Krishnaswami (University of Cambridge, formerly Birmingham)
  • Date: Friday 08 December 2017, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

Segal-type models of higher categories

  • Speaker: Simona Paoli (University of Leicester)
  • Date: Friday 03 November 2017, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

Title to be confirmed

  • Speaker: Kathy Stawarz, University of Bristol
  • Date: Wednesday 01 November 2017, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

Title to be confirmed

  • Speaker: Dave Kirk, Northumbria University
  • Date: Wednesday 15 November 2017, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

Title to be confirmed

  • Speaker: Sebastian Lekies (Google)
  • Date: Thursday 09 November 2017, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).