University of Birmingham > Talks@bham > CS 217

  Browse A-Z

Log in

System Admin (disabled)details Birmingham usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

CS 217

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

Tell a friend about this venue:

1 upcoming talk and 152 talks in the archive.

Lab Lunch

Higher Universal Algebra in Type Theory

UserEric Finster, INRIA, Paris.

HouseCS 217.

ClockThursday 24 January 2019, 12:00-13: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.

Other lists

Computer Science Distinguished Seminar Metallurgy & Materials – Tech Entrepreneurship Seminar Series Reading group in linear algebraic groups

Other talks

How we should count one tropical curve? Topological Properties of Morphisms, Applications Linear Algebraic Groups, First Properties The Isomorphism Theorem School Seminar Reductive Groups
 

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.