Dear all,

Most welcome to a research seminar at which Catarina Couqand will introduce us to her research area.

We will be in Aktersalongen and we start at 13.15 as usual. Please note that the seminar is on Thursday, November 27.

See the abstract below:

Av olika skäl blev det inte av förra året att berätta om min forskning och forskningsområde, men nu skall det bli av. Jag kommer att göra en översiktlig presentation av mitt forskningsområde snarare än detaljer från min egen forskning. Det jag kommer att prata om kallas typteori, området gränsar till teoretisk filosofi, matematik och datavetenskap. Jag kommer att beskriva teorin, det programspråk som bygger på teorin och dess koppling till formalisering av matematiska bevis och korrekthet av program. Lite demo hoppas jag också hinna med. Det behövs elementär kunskap om logik och programmering för att hänga med. Föredraget blir på engelska om inta alla förstår svenska i publiken.

In this talk I will give an overview of dependent type theory and it’s applications to computer assisted proofs and program correctness. If I have time I will shortly mention recent work on redefining the foundation of mathematics with the aim to make it more suitable for computer aided proofs by combining homotopy theory with type theory. A basic knowledge of logic and programming is needed to follow the talk.

Regards,
Helena