University of Birmingham > Talks@bham > Theoretical computer science seminar

Theoretical computer science seminar

Add to your list(s) Send you e-mail reminders Further detail
Subscribe using ical/vcal (Help)

Seminar series in theoretical computer science

Tell a friend about this list:

5 upcoming talks and 148 talks in the archive.

Realizability in Cyclic Proof: Extracting Ordering Information for Infinite Descent

UserReuben Rowe (University of Kent at Canterbury).

HouseComputer Science, The Sloman Lounge (UG).

ClockFriday 06 October 2017, 11:00-12:00

Theoretical Computer Science in Quantum Circuit Design

Also of interest in Security

UserPeter Hines (University of York).

HouseComputer Science, The Sloman Lounge (UG).

ClockFriday 13 October 2017, 11:00-12:00

Segal-type models of higher categories

UserSimona Paoli (University of Leicester).

HouseComputer Science, The Sloman Lounge (UG).

ClockFriday 03 November 2017, 11:00-12:00

Universally optimal mitigation strategies for leakage of information

UserPasquale Malacaria (Queen Mary, London).

HouseComputer Science, The Sloman Lounge (UG).

ClockFriday 01 December 2017, 11:00-12:00

A Curry-Howard Correspondence for Event-Based Programming

UserNeel Krishnaswami (University of Cambridge, formerly Birmingham).

HouseComputer Science, The Sloman Lounge (UG).

ClockFriday 08 December 2017, 11:00-12:00

If you have a question about this list, please contact: Paul Levy; Paul Taylor. If you have a question about a specific talk, click on that talk to find its organiser.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.