Seminarium, Logik

  Mån Tis Ons Tor Fre Lör Sön
v5     1 2 3 4 5
v6 6 7 8 9 10 11 12
v7 13 14 15 16 17 18 19
v8 20 21 22 23 24 25 26
v9 27 28          

Exportera kalender

Sö 26 februari - Ti 28 februari

Kalenderhändelser saknas för aktuell period.
Kommande kalenderhändelser:

1
mars
onsdag, 10:00 - 11:45
Seminarium, Logik

Erik Palmgren: Intuitionistic Ramified Type Theory

Föreläsare: Erik Palmgren

Plats: Room 14, building 5, Kräftriket, Department of Mathematics, Stockholm University

2017-03-01T10:00 2017-03-01T11:45 Erik Palmgren: Intuitionistic Ramified Type Theory (Seminarium, Logik) Erik Palmgren: Intuitionistic Ramified Type Theory (Seminarium, Logik)
Till sidans topp