University of Birmingham > Talks@bham > Computer Science Sloman Lounge

0 upcoming talks and 10 talks in the archive.

Theoretical computer science seminar

Algorithms and barriers for random instances of computational problems

UserWill Perkins (Dept of Mathematics, University of Birmingham).

HouseComputer Science Sloman Lounge.

ClockFriday 19 May 2017, 11:00-12:00

Theoretical computer science seminar

The frame generated by closed sublocales

UserAles Pultr (Charles University, Prague).

HouseComputer Science Sloman Lounge.

ClockFriday 31 March 2017, 11:00-12:00

Theoretical computer science seminar

Coalgebraic Dynamic Logics

UserClemens Kupke (University of Strathclyde).

HouseComputer Science Sloman Lounge.

ClockFriday 24 March 2017, 11:00-12:00

Theoretical computer science seminar

On the commutativity of the powerspace monads

UserMatthew de Brecht (University of Kyoto).

HouseComputer Science Sloman Lounge.

ClockFriday 17 March 2017, 11:00-12:00

Theoretical computer science seminar

Homotopy coherent distributive laws

UserNick Gurski (University of Sheffield).

HouseComputer Science Sloman Lounge.

ClockFriday 17 February 2017, 11:00-12:00

If you have a question about this list, please contact: . 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.