Kalender
Ti 1 maj
Kalenderhändelser saknas för aktuell period.
Kommande kalenderhändelser:
-
Seminarium, Logik
onsdag 2018-05-02, 10.00 - 11.45
Medverkande: Peter LeFanu Lumsdaine
Plats: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University 
2018-05-02T10:00:00.000+02:00 2018-05-02T11:45:00.000+02:00 Peter LeFanu Lumsdaine: Towards a general meta-theory of dependent type theories (Seminarium, Logik) Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University  (KTH, Stockholm, Sweden)Peter LeFanu Lumsdaine: Towards a general meta-theory of dependent type theories (Seminarium, Logik) -
Seminarium, Talteori
onsdag 2018-05-02, 11.00 - 12.00
Medverkande: Stefano Marseglia
Plats: Room 33, building 5, Kräftriket, Department of Mathematics, Stockholm University
2018-05-02T11:00:00.000+02:00 2018-05-02T12:00:00.000+02:00 Stefano Marseglia: Computing isomorphism classes of abelian varieties over finite fields (Seminarium, Talteori) Room 33, building 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Stefano Marseglia: Computing isomorphism classes of abelian varieties over finite fields (Seminarium, Talteori) -
Seminarium, MathDataLab
onsdag 2018-05-02, 11.15 - 12.00
Medverkande: Scott Baden, Lawrence Berkeley National Laboratory and University of California, San Diego
Plats: Room F11, KTH
2018-05-02T11:15:00.000+02:00 2018-05-02T12:00:00.000+02:00 Lecture 1 by Scott Baden and Lawrence Berkeley: Scalable memory machines (Seminarium, MathDataLab) Room F11, KTH (KTH, Stockholm, Sweden)Lecture 1 by Scott Baden and Lawrence Berkeley: Scalable memory machines (Seminarium, MathDataLab)