Seminarium, Teoretisk datalogi
Sö 14 maj
Kalenderhändelser saknas för aktuell period.
Kommande kalenderhändelser:
-
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) -
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) -
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)