Kalender
Lö 25 oktober
Kalenderhändelser saknas för aktuell period.
Kommande kalenderhändelser:
-
Docentföreläsning
måndag 2014-10-27, 10.00
Plats: The Cramér room (room 306), building 6, Kräftriket, Department of mathematics, Stockholm university
2014-10-27T10:00:00.302+01:00 2014-10-27T10:00:00.302+01:00 Michael Höhle: Spatial, Temporal and Spatio-temporal Statistical Modelling of Clustered Events (Docentföreläsning) The Cramér room (room 306), building 6, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Michael Höhle: Spatial, Temporal and Spatio-temporal Statistical Modelling of Clustered Events (Docentföreläsning) -
Docentföreläsning
måndag 2014-10-27, 11.00
Plats: Cramér-rumm (rum 306), hus 6, Kräftriket, Matematiska institutionen, Stockholms universitet
2014-10-27T11:00:00.609+01:00 2014-10-27T11:00:00.609+01:00 Cecilia Holmgren: Split-träd och Galton-Watson-träd: Två viktiga klasser av slumpträd (Docentföreläsning) Cramér-rumm (rum 306), hus 6, Kräftriket, Matematiska institutionen, Stockholms universitet (KTH, Stockholm, Sweden)Cecilia Holmgren: Split-träd och Galton-Watson-träd: Två viktiga klasser av slumpträd (Docentföreläsning) -
Seminarium, Teoretisk datalogi
måndag 2014-10-27, 12.00 - 13.00
Medverkande: Marijn Heule, University of Texas at Austin
Plats: Room 1537, Lindstedsvägen 3, KTH CSC
2014-10-27T12:00:00.308+01:00 2014-10-27T13:00:00.308+01:00 Marijn Heule: Easy generation and efficient validation of proofs for SAT and QBF (Seminarium, Teoretisk datalogi) Room 1537, Lindstedsvägen 3, KTH CSC (KTH, Stockholm, Sweden)Marijn Heule: Easy generation and efficient validation of proofs for SAT and QBF (Seminarium, Teoretisk datalogi)