Seminarium, Teoretisk datalogi

  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:

6
mars
måndag, 12:00
Seminarium, Teoretisk datalogi

Philipp Rümmer: SAT-based learning to verify liveness of randomised parameterised systems

Föreläsare: Philipp Rümmer, Uppsala University

Plats: Room 4523, Lindstedtsvägen 5, KTH CSC

2017-03-06T12:00 2017-03-06T12:00 Philipp Rümmer: SAT-based learning to verify liveness of randomised parameterised systems (Seminarium, Teoretisk datalogi) Philipp Rümmer: SAT-based learning to verify liveness of randomised parameterised systems (Seminarium, Teoretisk datalogi)
10
mars
fredag, 12:00
Seminarium, Teoretisk datalogi

Ciaran McCreesh: Finding little graphs inside big graphs (in parallel)

Föreläsare: Ciaran McCreesh, University of Glasgow

Plats: Room 4523, Lindstedtsvägen 5, KTH CSC

2017-03-10T12:00 2017-03-10T12:00 Ciaran McCreesh: Finding little graphs inside big graphs (in parallel) (Seminarium, Teoretisk datalogi) Ciaran McCreesh: Finding little graphs inside big graphs (in parallel) (Seminarium, Teoretisk datalogi)
Till sidans topp