Calendar
Sun 01 May
No calendar events were found within the current period.
Upcoming calendar events:
-
Seminar, Theoretical computer science
Monday 2016-05-02, 12:00
Participating: Sayan Bhattacharya, Institute of Mathematical Sciences Chennai
Location: Room 4523, Lindstedtsvägen 5, KTH CSC
2016-05-02T12:00:00.998+02:00 2016-05-02T12:00:00.998+02:00 Sayan Bhattacharya: Dynamic primal-dual algorithms for vertex cover and matching (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH CSC (KTH, Stockholm, Sweden)Sayan Bhattacharya: Dynamic primal-dual algorithms for vertex cover and matching (Seminar, Theoretical computer science) -
Topological Activities
Tuesday 2016-05-03, 13:15 - 15:00
Participating: Steve Awodey (Carnegie Mellon University)
Location: All lectures take place at the Department of Mathematics, Stockholm University, Kräftriket
2016-05-03T13:15:00.918+02:00 2016-05-03T15:00:00.918+02:00 Steve Awodey: Homotopy Type Theory - Lecture series (May 3, 12 and 25) (Topological Activities) All lectures take place at the Department of Mathematics, Stockholm University, Kräftriket (KTH, Stockholm, Sweden)Steve Awodey: Homotopy Type Theory - Lecture series (May 3, 12 and 25) (Topological Activities) -
Seminar, Logic
Wednesday 2016-05-04, 10:00 - 11:45
Participating: Maarten McKubre-Jordens, University of Canterbury, New Zealand
Location: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university
2016-05-04T10:00:00.636+02:00 2016-05-04T11:45:00.636+02:00 Maarten McKubre-Jordens: Material implication over minimal logic (Seminar, Logic) Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Maarten McKubre-Jordens: Material implication over minimal logic (Seminar, Logic)