Kalender

Ulrik Buchholtz: Weak dependent type theories

3 jul

Seminarium, Logik

fredag 2015-07-03, 15.00 - 16.00

Medverkande: Ulrik Buchholtz, Carnegie-Mellon University

Plats: Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university

2015-07-03T15:00:00.161+02:00 2015-07-03T16:00:00.161+02:00 Ulrik Buchholtz: Weak dependent type theories (Seminarium, Logik) Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Ulrik Buchholtz: Weak dependent type theories (Seminarium, Logik)

Antoine Rauzy: Online, open and flexible higher education for the future we want

6 jul

Seminarium, Utbildning

måndag 2015-07-06, 10.00

Medverkande: Antoine Rauzy, Director of Open and Distance education UPMC, Sorbonne Universities, Paris

Plats: Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University

2015-07-06T10:00:00.666+02:00 2015-07-06T10:00:00.666+02:00 Antoine Rauzy: Online, open and flexible higher education for the future we want (Seminarium, Utbildning) Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Antoine Rauzy: Online, open and flexible higher education for the future we want (Seminarium, Utbildning)

Venkatesan Guruswami: Efficient low-redundancy codes for correcting multiple deletions

6 jul

Seminarium, Teoretisk datalogi

måndag 2015-07-06, 13.15

Medverkande: Venkatesan Guruswami, Carnegie Mellon University

Plats: Room 4523, Lindstedtsvägen 5

2015-07-06T13:15:00.019+02:00 2015-07-06T13:15:00.019+02:00 Venkatesan Guruswami: Efficient low-redundancy codes for correcting multiple deletions (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5 (KTH, Stockholm, Sweden)Venkatesan Guruswami: Efficient low-redundancy codes for correcting multiple deletions (Seminarium, Teoretisk datalogi)

Makoto Fujiwara: Constructive provability versus uniform provability in classical computable mathematics

6 jul

Seminarium, Logik

måndag 2015-07-06, 13.15 - 14.15

Medverkande: Makoto Fujiwara, JAIST

Plats: Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university

2015-07-06T13:15:00.926+02:00 2015-07-06T14:15:00.926+02:00 Makoto Fujiwara: Constructive provability versus uniform provability in classical computable mathematics (Seminarium, Logik) Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Makoto Fujiwara: Constructive provability versus uniform provability in classical computable mathematics (Seminarium, Logik)

Sangxia Huang: Hardness of Hypergraph Coloring

9 jul

Seminarium, Teoretisk datalogi

torsdag 2015-07-09, 13.15

Medverkande: Sangxia Huang, KTH and EPFL

Plats: Room 4523, Lindstedtsvägen 5, KTH

2015-07-09T13:15:00.255+02:00 2015-07-09T13:15:00.255+02:00 Sangxia Huang: Hardness of Hypergraph Coloring (Seminarium, Teoretisk datalogi) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Sangxia Huang: Hardness of Hypergraph Coloring (Seminarium, Teoretisk datalogi)