Kalender
Må 14 december
-
Seminarium, Teoretisk datalogi
måndag 2015-12-14, 12.00
Medverkande: Kristin Yvonne Rozier, University of Cincinnati
Plats: Room 4523, Lindstedtsvägen 5
2015-12-14T12:00:00.316+01:00 2015-12-14T12:00:00.316+01:00 Kristin Yvonne Rozier: Linear temporal logic satisfiability checking (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5 (KTH, Stockholm, Sweden)Kristin Yvonne Rozier: Linear temporal logic satisfiability checking (Seminarium, Teoretisk datalogi)