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

The Dialectica models of type theory

  • Speaker: Sean Moss (Oxford, formerly Cambridge)
  • Date: Friday 09 February 2018, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

Title to be confirmed

  • Speaker: Matt Smith (Oxford)
  • Date: Thursday 08 February 2018, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

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

Universally Verifiable MPC with Applications to IRV Ballot Counting

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

Wargaming Cyber Security

  • Speaker: Andreas Haggman (RHUL)
  • Date: Thursday 25 January 2018, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

TBA

  • Speaker: Professor Michael Chappell (School of Engineering, University of Warwick)
  • Date: Monday 12 February 2018, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

Cyber Security Game Session

  • Speaker: Andreas Haggman (RHUL)
  • Date: Thursday 25 January 2018, 14:00-16:00
  • Venue: Computer Science, Room 217.

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

Don't trust the DOM: Breaking XSS mitigations via Script Gadgets

  • Speaker: Sebastian Lekies (Google)
  • Date: Thursday 22 February 2018, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

Title to be confirmed

  • Speaker: Siamak Shahandashti (York)
  • Date: Thursday 08 March 2018, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).

Title to be confirmed

  • Speaker: Jens Groth (UCL)
  • Date: Thursday 01 March 2018, 11:00-12:00
  • Venue: Computer Science, The Sloman Lounge (UG).