Seminar, Logic

No calendar events were found within the current period.

Upcoming calendar events:

• Roy T Cook: There is No Paradox of Logical Validity

  18 Dec

  Seminar, Logic

  Wednesday 2013-12-18, 10:00 - 11:45

  Participating: Roy T Cook, University of Minnesota

  Location: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university

  2013-12-18T10:00:00.710+01:00 2013-12-18T11:45:00.710+01:00 Roy T Cook: There is No Paradox of Logical Validity (Seminar, Logic) Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Roy T Cook: There is No Paradox of Logical Validity (Seminar, Logic)

• Peter LeFanu Lumsdaine: Semi-simplicial sets, with an eye to type theory

  22 Jan

  Seminar, Logic

  Wednesday 2014-01-22, 10:00 - 11:45

  Participating: Peter LeFanu Lumsdaine, IAS, Princeton

  Location: Room 16, building 5, Kräftriket, Department of mathematics, KTH

  2014-01-22T10:00:00.220+01:00 2014-01-22T11:45:00.220+01:00 Peter LeFanu Lumsdaine: Semi-simplicial sets, with an eye to type theory (Seminar, Logic) Room 16, building 5, Kräftriket, Department of mathematics, KTH (KTH, Stockholm, Sweden)Peter LeFanu Lumsdaine: Semi-simplicial sets, with an eye to type theory (Seminar, Logic)

• Håkon Robbestad Gylterud: Univalent Multisets

  29 Jan

  Seminar, Logic

  Wednesday 2014-01-29, 10:00 - 11:45

  Location: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university

  2014-01-29T10:00:00.952+01:00 2014-01-29T11:45:00.952+01:00 Håkon Robbestad Gylterud: Univalent Multisets (Seminar, Logic) Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Håkon Robbestad Gylterud: Univalent Multisets (Seminar, Logic)