![]() |
![]() |
![]() Lab Lunch
Add to your list(s)
Send you e-mail reminders
Further detail
Informal talks for the Theory group in School of Computer Science 1 upcoming talk and 280 talks in the archive. Patch Locale of a Spectral Locale in Univalent Type Theory
If you have a question about this list, please contact: Dan Ghica; Uday Reddy; Dr Steve Vickers; Paul Taylor; Yuning Feng; Todd Waugh Ambridge; Anupam Das. If you have a question about a specific talk, click on that talk to find its organiser. |
Other listsdddd Cond. Mat. seminar Mathematics ColloquiumOther talksPatch Locale of a Spectral Locale in Univalent Type Theory Quantitative imaging with random light: Challenges and Opportunities Quantum dots for THz technology |