BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.bham.ac.uk//v3//EN
BEGIN:VEVENT
CATEGORIES:Theoretical computer science seminar
SUMMARY:Some Open Problems in Homotopy Type Theory - Nico
lai Kraus\, University of Nottingham
DTSTART:20181109T103000Z
DTEND:20181109T113000Z
UID:TALK3433AT
URL:/talk/index/3433
DESCRIPTION:*Type Theory* is an area of computer science which
deals with formal systems that are generally refe
rred to as *type theories* as well. A type theory
can be viewed as a programming language with a typ
e system so expressive that programs written in th
e language automatically come with a strong guaran
tee of correctness. Alternatively\, a type theory
can be seen as a foundation in which we can develo
p mathematics by formulating statements and provin
g theorems. *Homotopy Type Theory* develops this i
dea further by also connecting it to the study of
spaces up to continuous transformations.\nThis tal
k will comprise two parts. In the first half\, I w
ill introduce the field. Afterwards\, I will give
an overview of my strategies to connect several lo
ng-standing and well-known open problems in homoto
py type theory with each other.
LOCATION:Computer Science\, The Sloman Lounge (UG)
CONTACT:Benedikt Ahrens
END:VEVENT
END:VCALENDAR