Some Open Problems in Homotopy Type Theory

Add 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.

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:

• 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.