University of Birmingham > Talks@bham > UG10 Learning Centre

UG10 Learning Centre

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

Tell a friend about this venue:

0 upcoming talks and 8 talks in the archive.

Lab Lunch

Gödel's incompleteness theorem using arithmetic universes

change of venue

UserAlexander Gietelink Oldenziel (Amsterdam).

HouseUG10 Learning Centre.

ClockFriday 07 February 2020, 11:00-12:00

Theoretical computer science seminar

Update monads: cointerpreting directed containers

UserTarmo Uustalu, Tallinn University of Technology.

HouseUG10 Learning Centre.

ClockFriday 14 March 2014, 14:00-15:00

Theoretical computer science seminar

The dual of pattern matching - copattern matching

UserAnton Setzer, Swansea University.

HouseUG10 Learning Centre.

ClockFriday 22 November 2013, 16:00-17:00

Theoretical computer science seminar

Product representation of default bilattices

UserHilary Priestley, University of Oxford.

HouseUG10 Learning Centre.

ClockFriday 01 November 2013, 16:00-17:00

Theoretical computer science seminar

Parametric completeness for separation theories (via hybrid logic)

UserJames Brotherston, University College London.

HouseUG10 Learning Centre.

ClockFriday 18 October 2013, 16:00-17:00

Theoretical computer science seminar

Reflection in sheaf models

UserMichael Fourman, University of Edinburgh.

HouseUG10 Learning Centre.

ClockThursday 04 July 2013, 14:00-15:00

Theoretical computer science seminar

Agent programming languages

UserNatasha Alechina, University of Nottingham.

HouseUG10 Learning Centre.

ClockFriday 16 November 2012, 16:00-17: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.