Seminarium, Logik

Kalenderhändelser saknas för aktuell period.

Kommande kalenderhändelser:

• Douglas Bridges: Ishihara’s Research in Constructive Analysis

  7 feb

  Seminarium, Logik

  onsdag 2018-02-07, 10.00 - 11.45

  Medverkande: Douglas Bridges, University of Canterbury

  Plats: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University

  2018-02-07T10:00:00.000+01:00 2018-02-07T11:45:00.000+01:00 Douglas Bridges: Ishihara’s Research in Constructive Analysis (Seminarium, Logik) Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Douglas Bridges: Ishihara’s Research in Constructive Analysis (Seminarium, Logik)

• Erik Palmgren: Exploring generalized algebraic theories with the proof assistant Agda

  14 feb

  Seminarium, Logik

  onsdag 2018-02-14, 10.00 - 11.45

  Medverkande: Erik Palmgren, SU

  Plats: Room 35, building 5 kräftriket, Department of Mathematics, Stockholm University 

  2018-02-14T10:00:00.000+01:00 2018-02-14T11:45:00.000+01:00 Erik Palmgren: Exploring generalized algebraic theories with the proof assistant Agda (Seminarium, Logik) Room 35, building 5 kräftriket, Department of Mathematics, Stockholm University  (KTH, Stockholm, Sweden)Erik Palmgren: Exploring generalized algebraic theories with the proof assistant Agda (Seminarium, Logik)

• Peter LeFanu Lumsdaine: Inverse diagram models of type theory, part 3

  21 feb

  Seminarium, Logik

  onsdag 2018-02-21, 10.00 - 11.45

  Medverkande: Peter LeFanu Lumsdaine, SU

  Plats: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University 

  2018-02-21T10:00:00.000+01:00 2018-02-21T11:45:00.000+01:00 Peter LeFanu Lumsdaine: Inverse diagram models of type theory, part 3 (Seminarium, Logik) Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University  (KTH, Stockholm, Sweden)Peter LeFanu Lumsdaine: Inverse diagram models of type theory, part 3 (Seminarium, Logik)