Calendar

Ulrik Buchholtz: Weak dependent type theories

3 Jul

Seminar, Logic

Friday 2015-07-03, 15:00 - 16:00

Participating: Ulrik Buchholtz, Carnegie-Mellon University

Location: 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 (Seminar, Logic) Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Ulrik Buchholtz: Weak dependent type theories (Seminar, Logic)

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

6 Jul

Seminar, Education

Monday 2015-07-06, 10:00

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

Location: 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 (Seminar, Education) 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 (Seminar, Education)

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

6 Jul

Seminar, Theoretical computer science

Monday 2015-07-06, 13:15

Participating: Venkatesan Guruswami, Carnegie Mellon University

Location: 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 (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5 (KTH, Stockholm, Sweden)Venkatesan Guruswami: Efficient low-redundancy codes for correcting multiple deletions (Seminar, Theoretical computer science)

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

6 Jul

Seminar, Logic

Monday 2015-07-06, 13:15 - 14:15

Participating: Makoto Fujiwara, JAIST

Location: 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 (Seminar, Logic) 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 (Seminar, Logic)

Sangxia Huang: Hardness of Hypergraph Coloring

9 Jul

Seminar, Theoretical computer science

Thursday 2015-07-09, 13:15

Participating: Sangxia Huang, KTH and EPFL

Location: 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 (Seminar, Theoretical computer science) Room 4523, Lindstedtsvägen 5, KTH (KTH, Stockholm, Sweden)Sangxia Huang: Hardness of Hypergraph Coloring (Seminar, Theoretical computer science)