![]() |
![]() |
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
If you have a question about this talk, please contact Benedikt Ahrens. Type Theory is an area of computer science which deals with formal systems that are generally referred to as type theories as well. A type theory can be viewed as a programming language with a type system so expressive that programs written in the language automatically come with a strong guarantee of correctness. Alternatively, a type theory can be seen as a foundation in which we can develop mathematics by formulating statements and proving theorems. Homotopy Type Theory develops this idea further by also connecting it to the study of spaces up to continuous transformations. This talk will comprise two parts. In the first half, I will introduce the field. Afterwards, I will give an overview of my strategies to connect several long-standing and well-known open problems in homotopy type theory with each other. This talk is part of the Theoretical computer science seminar series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsOptimisation and Numerical Analysis Seminars Condensed Matter Group Meetings Pure DétoursOther 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 |