University of Birmingham > Talks@bham > Computer Science, 245

0 upcoming talks and 3 talks in the archive.

Theoretical computer science seminar

Constructive Brouwer Fixed Point Theorem

UserPaul Taylor (Computer Science, University of Birmingham, honorary).

HouseComputer Science, 245.

ClockFriday 12 July 2019, 11:00-12:00

Theoretical computer science seminar

Higher Universal Algebra in Type Theory

UserEric Finster, INRIA, Paris.

HouseComputer Science, 245.

ClockTuesday 22 January 2019, 15:00-16: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 from the University of Cambridge.