Seminar i Matematisk Logikk

Tid og sted
Postliste
Program

Tid og sted

Sted: Seminarrom B 63, NHA

Ledes av Herman Ruge Jervell, e-post: herman@ifi.uio.no og
Dag Normann, e-post: dnormann@math.uio.no.

Tid: Torsdager 10.15-12.00

Postliste

Post til seminaret sendes til Dag Normann i god tid, og vil bli videresendt via en adresseliste på hans maskin.
For å registrere seg på eller av denne listen, kontakt Dag Normann.

Høsten 2007

Seminaret starter opp 23/8.

Program:

23/8: Planleggingsmøte
Lars Kristiansen Foredrag til ære for Neil Jones.

30/8 - 6/9: Herman Ruge Jervell Til ære for at Girard fyller 60 år.

13/9: Tom E. Gundersen (Bath) INTRODUCTION TO DEEP INFERENCE AND NEW IDEAS ON NORMALISATION

20/9: Dag Normann Innføring i domeneteori; noen grunnbegreper.

4/10 Henrik Forssell TBA

11/10: Phillipp Gerhardy

18/10: Phillipp Gerhardy

25/10 Michal Walicki TBA

8/11 Lars Kristiansen TBA

15/11 Amir Ben-Anram TBA

Ut over det oppsatte programmet vil Dag Normann, Philipp Gerhardy, Lars Kristiansen/Mathias Barra, Frode Bjørdal og Herman Ruge Jervell fylle ut ledig tid. Detaljene planlegges etterhvert.
Toppen

Sist oppdatert av Dag Normann 16.109.2007