Seminarium, Teoretisk datalogi

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Elena Troubitsyna: Formal goal-oriented development of adaptable and resilient systems

  10 okt

  Seminarium, Teoretisk datalogi

  tisdag 2017-10-10, 13.15

  Medverkande: Elena Troubitsyna, Åbo Akademi, Finland

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

  2017-10-10T13:15:00.000+02:00 2017-10-10T13:15:00.000+02:00 Elena Troubitsyna: Formal goal-oriented development of adaptable and resilient systems (Seminarium, Teoretisk datalogi) Room 4618, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Elena Troubitsyna: Formal goal-oriented development of adaptable and resilient systems (Seminarium, Teoretisk datalogi)

• Bart Bogaerts: Symmetry exploitation for combinatorial problems

  6 nov

  Seminarium, Teoretisk datalogi

  måndag 2017-11-06, 12.00

  Medverkande: Bart Bogaerts, Katholieke Universiteit Leuven

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

  2017-11-06T12:00:00.000+01:00 2017-11-06T12:00:00.000+01:00 Bart Bogaerts: Symmetry exploitation for combinatorial problems (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Bart Bogaerts: Symmetry exploitation for combinatorial problems (Seminarium, Teoretisk datalogi)

• Michele Scquizzato: Distributed computation of large-scale graph problems

  13 nov

  Seminarium, Teoretisk datalogi

  måndag 2017-11-13, 12.00

  Medverkande: Michele Scquizzato, TCS Group, KTH

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

  2017-11-13T12:00:00.000+01:00 2017-11-13T12:00:00.000+01:00 Michele Scquizzato: Distributed computation of large-scale graph problems (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC  (KTH, Stockholm, Sweden)Michele Scquizzato: Distributed computation of large-scale graph problems (Seminarium, Teoretisk datalogi)