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:

3 upcoming talks and 156 talks in the archive.

Syntactic and semantic fun with monads

UserFredrik Dahlqvist (UCL).

HouseComputer Science, The Sloman Lounge (UG).

ClockFriday 24 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.