Hjem
Institutt for informatikk

Hovedinnhold

Erik Parmann disputerer fredag 22. januar.

Tittel på avhandlingen: " Case Studies in Constructive Mathematics"

Bedømmelseskomitéen består av:
Professor Peter Dybjer, Chalmers University of Technology
Reader Martín Escardó, University of Birmingham
Førsteamanuensis Uwe Egbert Wolter, Universitetet i Bergen

Alle interesserte tilhørere er velkomne!