University of Birmingham > Talks@bham > Theoretical computer science seminar

  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

Theoretical computer science seminar

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

Seminar series in theoretical computer science

Tell a friend about this list:

3 upcoming talks and 543 talks in the archive: show first 500.

Lab Lunch

Patch Locale of a Spectral Locale in Univalent Type Theory

UserAyberk Tosun (University of Birmingham).

HouseLG23, SoCS and Zoom (see abstract for link).

ClockThursday 07 July 2022, 14:00-15:00

Title to be confirmed

UserDominic Verdon (University of Bristol).

HouseLG23, SoCS and Zoom (see abstract for link).

ClockFriday 07 October 2022, 14:00-15:00

Title to be confirmed

UserYannick Forster (INRIA).

HouseLG23, SoCS and Zoom (see abstract for link).

ClockFriday 14 October 2022, 14:00-15:00

If you have a question about this list, please contact: Benedikt Ahrens; Miriam Backens; Martin Escardo; Achim Jung; Paul Levy; David Parker; Uday Reddy; Eike Ritter; Anupam Das; Dan Ghica; Rajesh Chitnis; Vincent Rahli; Dr Steve Vickers; mxn732; Tom de Jong; Gianluca Curzi; George Kaye. If you have a question about a specific talk, click on that talk to find its organiser.

Other lists

Seminars on Advanced Materials Featured talks Featured lists

Other talks

Quantum dots for THz technology Quantitative imaging with random light: Challenges and Opportunities Patch Locale of a Spectral Locale in Univalent Type Theory
 

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.