Nieuwsbank

Schrijft, screent en verspreidt persberichten voor journalistiek, search en social media. Hét startpunt om uw nieuws wereldkundig te maken. Ook voor follow-ups, pitches en korte videoproducties.

Promotie: Metawiskundige aspecten van Martin-Löfs theorie

Datum nieuwsfeit: 22-06-2000
Bron: Razende Robot Reporter
Zoek soortgelijke berichten
Hieronder vindt u een aankondiging van een promotie die in juni plaatsvindt aan de Katholieke Universiteit Nijmegen. De academische plechtigheid wordt gehouden in het Aula/Congresgebouw, Comeniuslaan 2, Nijmegen. Als u meer informatie wenst over (een van) deze gebeurtenissen kunt u contact opnemen met de Afdeling Communicatie van de KUN, telefoon (024) 361 22 30 of 361 60 00.


22-06-2000 Metawiskundige aspecten van Martin-Löfs theorie
13:30 uur Dhr. S. Valentini
Promotie op het gebied van de Natuurwetenschappen, Wiskunde en Informatica
Titel proefschrift: Meta-Mathematical Aspects of Martin-Löf's Type Theory
Promotor: Dhr. prof. dr. H.P. Barendregt
Handelseditie: geen
Woonplaats: Padova Italië

reageer via disqus

Nieuwsbank op Twitter

Gratis persberichten ontvangen?

Registreer nu

Profiteer van het gratis Nieuwsbank persberichtenfilter

advertentie