Seminarium, Teoretisk datalogi
Må 31 oktober - Sö 6 november
Kalenderhändelser saknas för aktuell period.
Kommande kalenderhändelser:
-
Seminarium, Teoretisk datalogi
måndag 2016-11-07, 07.00
Medverkande: Jesús Giráldez Crú, Theory Group, KTH
Plats: Room 4523, Lindstedtsvägen 5, KTH CSC
2016-11-07T07:00:00.000+01:00 2016-11-07T07:00:00.000+01:00 Jesús Giráldez Crú: Graph-based pseudo-industrial random SAT instance generators (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Jesús Giráldez Crú: Graph-based pseudo-industrial random SAT instance generators (Seminarium, Teoretisk datalogi) -
Seminarium, Teoretisk datalogi
måndag 2016-11-14, 13.15
Medverkande: Patrizio Pelliccione, Chalmers University of Technology
Plats: Room 1440 Biblioteket, Lindstedtsvägen 3
2016-11-14T13:15:00.000+01:00 2016-11-14T13:15:00.000+01:00 Patrizio Pelliccione: Architecting the next generation of vehicles (Seminarium, Teoretisk datalogi) Room 1440 Biblioteket, Lindstedtsvägen 3 (KTH, Stockholm, Sweden)Patrizio Pelliccione: Architecting the next generation of vehicles (Seminarium, Teoretisk datalogi) -
Seminarium, Teoretisk datalogi
måndag 2016-11-21, 12.00
Medverkande: Ilario Bonacina, Theory Group, KTH
Plats: Room 4523, Lindstedtsvägen 5, KTH CSC
2016-11-21T12:00:00.000+01:00 2016-11-21T12:00:00.000+01:00 Ilario Bonacina: Strong size lower bounds in regular resolution via games (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Ilario Bonacina: Strong size lower bounds in regular resolution via games (Seminarium, Teoretisk datalogi)