University of Birmingham > Talks@bham > Theoretical computer science seminar > Some Open Problems in Homotopy Type Theory

## Some Open Problems in Homotopy Type TheoryAdd to your list(s) Download to your calendar using vCal - Nicolai Kraus, University of Nottingham
- Friday 09 November 2018, 10:30-11:30
- Computer Science, The Sloman Lounge (UG).
If you have a question about this talk, please contact Benedikt Ahrens.
This talk is part of the Theoretical computer science seminar series. ## This talk is included in these lists:- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Computer Science, The Sloman Lounge (UG)
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsOptimisation and Numerical Analysis Seminars Condensed Matter Group Meetings Pure Détours## Other talks[Friday seminar]: Irradiated brown dwarfs in the desert The percolating cluster is invisible to image recognition with deep learning Provably Convergent Plug-and-Play Quasi-Newton Methods for Imaging Inverse Problems Signatures of structural criticality and universality in the cellular anatomy of the brain Many-body localization from Hilbert- and real-space points of view Topological magnons and quantum magnetism |