University of Birmingham > Talks@bham > Lab Lunch

Lab Lunch

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

Informal talks for the Theory group in School of Computer Science

Tell a friend about this list:

2 upcoming talks and 166 talks in the archive.

Double negation and continuations

UserHayo Thielecke, SoCS UoB.

HouseCS 217.

ClockThursday 30 March 2017, 12:00-13:00

Linear lambda calculus and topological graphs

UserNoam Zeilberger, SoCS UoB.

HouseCS 217.

ClockThursday 06 April 2017, 12:00-13:00

If you have a question about this list, please contact: Dan Ghica; Uday Reddy; Dr Steve Vickers; 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.