Seminar, Theoretical computer science
Wed 31 May
No calendar events were found within the current period.
Upcoming calendar events:
-
Seminar, Theoretical computer science
Monday 2017-09-11, 13:15
Participating: Romain Wallon (Université d'Artois)
Location: Room 4523, Lindstedtsvägen 5, KTH CSC
2017-09-11T13:15:00.000+02:00 2017-09-11T13:15:00.000+02:00 Romain Wallon: Pseudo-Boolean Constraints: Reasoning and Compilation (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Romain Wallon: Pseudo-Boolean Constraints: Reasoning and Compilation (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Monday 2017-09-25, 12:00
Participating: Sagnik Mukhopadhyay, Theory Group, KTH
Location: Room 4523, Lindstedtsvägen 5, KTH CSC
2017-09-25T12:00:00.000+02:00 2017-09-25T12:00:00.000+02:00 Sagnik Mukhopadhyay: Simulation theorems via pseudo-random properties (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Sagnik Mukhopadhyay: Simulation theorems via pseudo-random properties (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Tuesday 2017-09-26, 13:00
Participating: Tegawendé Bissyandé, Research Associate @SnT / Univ. Luxembourg
Location: Room 1440 (Biblioteket), Lindstedtsvägen 3
2017-09-26T13:00:00.000+02:00 2017-09-26T13:00:00.000+02:00 Tegawendé Bissyandé: Free-form and code-to-code search - Leveraging Q&A Data towards Accurate Matching of Diverse Solutions (Seminar, Theoretical computer science) Room 1440 (Biblioteket), Lindstedtsvägen 3 (KTH, Stockholm, Sweden)Tegawendé Bissyandé: Free-form and code-to-code search - Leveraging Q&A Data towards Accurate Matching of Diverse Solutions (Seminar, Theoretical computer science)