Seminarium, Teoretisk datalogi

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Mateus de Oliveira Oliveira: Representations of Monotone Boolean Functions by Linear Programs

  15 maj

  Seminarium, Teoretisk datalogi

  måndag 2017-05-15, 13.15

  Medverkande: Mateus de Oliveira Oliveira

  Plats: Room 4523, Lindstedtsvägen 5

  2017-05-15T13:15:00.000+02:00 2017-05-15T13:15:00.000+02:00 Mateus de Oliveira Oliveira: Representations of Monotone Boolean Functions by Linear Programs (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5 (KTH, Stockholm, Sweden)Mateus de Oliveira Oliveira: Representations of Monotone Boolean Functions by Linear Programs (Seminarium, Teoretisk datalogi)

• Emir Demirović: An Interactive journey through combinatorial optimization: resilient solutions, multiple objectives, and logic-based approaches for timetabling

  16 maj

  Seminarium, Teoretisk datalogi

  tisdag 2017-05-16, 10.15

  Medverkande: Emir Demirović, Technische Universität Wien

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

  2017-05-16T10:15:00.000+02:00 2017-05-16T10:15:00.000+02:00 Emir Demirović: An Interactive journey through combinatorial optimization: resilient solutions, multiple objectives, and logic-based approaches for timetabling (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Emir Demirović: An Interactive journey through combinatorial optimization: resilient solutions, multiple objectives, and logic-based approaches for timetabling (Seminarium, Teoretisk datalogi)

• Ina Schaefer: Part I: Future-Proof Software and Part II: How to test the universe? - Efficient Testing of Software Product Lines

  22 maj

  Seminarium, Teoretisk datalogi

  måndag 2017-05-22, 10.00

  Medverkande: Ina Schaefer, (Technische Universität Braunschweig, Germany)

  Plats: Room 1537, Lindstedtsvägen 3

  2017-05-22T10:00:00.000+02:00 2017-05-22T10:00:00.000+02:00 Ina Schaefer: Part I: Future-Proof Software and Part II: How to test the universe? - Efficient Testing of Software Product Lines (Seminarium, Teoretisk datalogi) Room 1537, Lindstedtsvägen 3 (KTH, Stockholm, Sweden)Ina Schaefer: Part I: Future-Proof Software and Part II: How to test the universe? - Efficient Testing of Software Product Lines (Seminarium, Teoretisk datalogi)