Seminar, Theoretical computer science
Mon 10 October
No calendar events were found within the current period.
Upcoming calendar events:
-
Seminar, Theoretical computer science
Monday 2016-10-17, 12:00
Participating: Sagnik Mukhopadhyay, TIFR Mumbai
Location: Room 4523, Lindstedtsvägen 5, KTH CSC
2016-10-17T12:00:00.000+02:00 2016-10-17T12:00:00.000+02:00 Sagnik Mukhopadhyay: Simulation theorem and fork-lift (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Sagnik Mukhopadhyay: Simulation theorem and fork-lift (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Monday 2016-10-24, 13:15
Participating: Walid Taha, (Halmstad University)
Location: Room 1440 Biblioteket, Lindstedtsvägen 3
2016-10-24T13:15:00.000+02:00 2016-10-24T13:15:00.000+02:00 Walid Taha: Rigorous simulation (Seminar, Theoretical computer science) Room 1440 Biblioteket, Lindstedtsvägen 3 (KTH, Stockholm, Sweden)Walid Taha: Rigorous simulation (Seminar, Theoretical computer science) -
Seminar, Theoretical computer science
Monday 2016-11-07, 07:00
Participating: Jesús Giráldez Crú, Theory Group, KTH
Location: Room 4523, Lindstedtsvägen 5, KTH CSC
2016-11-07T07:00:00.000+01:00 2016-11-07T07:00:00.000+01:00 Jesús Giráldez Crú: Graph-based pseudo-industrial random SAT instance generators (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Jesús Giráldez Crú: Graph-based pseudo-industrial random SAT instance generators (Seminar, Theoretical computer science)