Seminarium, Logik
Fr 12 januari - Må 31 december
-
Seminarium, Logik
onsdag 2018-01-24, 10.30 - 11.30
Medverkande: Douglas S Bridges (University of Canterbury, Christchurch New Zealand)
Plats: Room 306, building 6 kräftriket, Department of Mathematics, Stockholm University
2018-01-24T10:30:00.000+01:00 2018-01-24T11:30:00.000+01:00 Douglas S Bridges: Some Favourite Constructive Theorems of Mine (Seminarium, Logik) Room 306, building 6 kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Douglas S Bridges: Some Favourite Constructive Theorems of Mine (Seminarium, Logik) -
Seminarium, Logik
torsdag 2018-01-25, 10.00 - 12.00
Medverkande: Christian Espíndola
Plats: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University
2018-01-25T10:00:00.000+01:00 2018-01-25T12:00:00.000+01:00 Christian Espíndola: Titel annonseras senare (Seminarium, Logik) Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Christian Espíndola: Titel annonseras senare (Seminarium, Logik) -
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) -
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) -
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) -
Seminarium, Logik
onsdag 2018-02-28, 10.00 - 11.45
Medverkande: Simon Henry, Masaryk University, Brno
Plats: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University 
2018-02-28T10:00:00.000+01:00 2018-02-28T11:45:00.000+01:00 Simon Henry: Constructive homotopy theory, Weak model structures and infinity groupoids in type theory (Seminarium, Logik) Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University  (KTH, Stockholm, Sweden)Simon Henry: Constructive homotopy theory, Weak model structures and infinity groupoids in type theory (Seminarium, Logik) -
Seminarium, Logik
onsdag 2018-04-11, 10.00 - 11.45
Medverkande: Valentin Goranko (Stockholm University) and Ruaan Kellerman (University of Pretoria)
Plats: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University 
2018-04-11T10:00:00.000+02:00 2018-04-11T11:45:00.000+02:00 Valentin Goranko and Ruaan Kellerman: Towards model theory of trees generated by elementary classes of linear orders (Seminarium, Logik) Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University  (KTH, Stockholm, Sweden)Valentin Goranko and Ruaan Kellerman: Towards model theory of trees generated by elementary classes of linear orders (Seminarium, Logik) -
Seminarium, Logik
onsdag 2018-04-18, 10.00 - 11.45
Medverkande: Johan Lindberg
Plats: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University 
2018-04-18T10:00:00.000+02:00 2018-04-18T11:45:00.000+02:00 Johan Lindberg: Logical Spaces (Seminarium, Logik) Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University  (KTH, Stockholm, Sweden)Johan Lindberg: Logical Spaces (Seminarium, Logik) -
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, Logik
onsdag 2018-05-09, 10.00 - 11.45
Medverkande: Jan Cedervall, Stockholm University
Plats: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University
2018-05-09T10:00:00.000+02:00 2018-05-09T11:45:00.000+02:00 Jan Cedervall: Para-consistent, doxastic hybrid logic (Seminarium, Logik) Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Jan Cedervall: Para-consistent, doxastic hybrid logic (Seminarium, Logik) -
Seminarium, Logik
onsdag 2018-05-23, 10.00 - 11.45
Medverkande: Peter LeFanu Lumsdaine, Stockholm University
Plats: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University 
2018-05-23T10:00:00.000+02:00 2018-05-23T11:45:00.000+02:00 Peter LeFanu Lumsdaine: Projectivity in the free topos (Seminarium, Logik) Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University  (KTH, Stockholm, Sweden)Peter LeFanu Lumsdaine: Projectivity in the free topos (Seminarium, Logik) -
Seminarium, Logik
onsdag 2018-05-30, 10.00 - 11.45
Medverkande: Per Martin-Löf
Plats: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University 
2018-05-30T10:00:00.000+02:00 2018-05-30T11:45:00.000+02:00 Per Martin-Löf: Weyl’s attempted mediation between intuitionism and formalism (Seminarium, Logik) Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University  (KTH, Stockholm, Sweden)Per Martin-Löf: Weyl’s attempted mediation between intuitionism and formalism (Seminarium, Logik) -
Seminarium, Logik
onsdag 2018-09-05, 10.00 - 11.45
Medverkande: Göran Sundholm, Leyden University
Plats: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University 
2018-09-05T10:00:00.000+02:00 2018-09-05T11:45:00.000+02:00 Göran Sundholm: Intended interpretations and the choice of formal systems: Themes from Kreisel’s work on constructivist foundations (Seminarium, Logik) Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University  (KTH, Stockholm, Sweden)Göran Sundholm: Intended interpretations and the choice of formal systems: Themes from Kreisel’s work on constructivist foundations (Seminarium, Logik) -
Seminarium, Logik
onsdag 2018-09-12, 10.00 - 11.45
Medverkande: Guillaume Brunerie (Stockholm University, new group member!)
Plats: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University 
2018-09-12T10:00:00.000+02:00 2018-09-12T11:45:00.000+02:00 Guillaume Brunerie: A proof sketch for the initiality conjecture (Seminarium, Logik) Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University  (KTH, Stockholm, Sweden)Guillaume Brunerie: A proof sketch for the initiality conjecture (Seminarium, Logik) -
Seminarium, Logik
onsdag 2018-09-19, 10.00 - 11.45
Medverkande: Floris van Doorn (Carnegie Mellon University)
Plats: Room 31, building 5 kräftriket, Department of Mathematics, Stockholm University 
2018-09-19T10:00:00.000+02:00 2018-09-19T11:45:00.000+02:00 Floris van Doorn: Towards Spectral Sequences for Homology (Seminarium, Logik) Room 31, building 5 kräftriket, Department of Mathematics, Stockholm University  (KTH, Stockholm, Sweden)Floris van Doorn: Towards Spectral Sequences for Homology (Seminarium, Logik) -
Seminarium, Logik
onsdag 2018-09-26, 10.00 - 11.45
Medverkande: Menno de Boer (Stockholm University, new PhD student)
Plats: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University 
2018-09-26T10:00:00.000+02:00 2018-09-26T11:45:00.000+02:00 Menno de Boer: The Gluing Construction for Path Categories (Seminarium, Logik) Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University  (KTH, Stockholm, Sweden)Menno de Boer: The Gluing Construction for Path Categories (Seminarium, Logik) -
Seminarium, Logik
onsdag 2018-10-03, 10.00 - 11.45
Medverkande: Anders Mörtberg (Stockholm University, new group member)
Plats: Room 31, building 5 kräftriket, Department of Mathematics, Stockholm University 
2018-10-03T10:00:00.000+02:00 2018-10-03T11:45:00.000+02:00 Anders Mörtberg: Cubical techniques in homotopy type theory and univalent foundations (Seminarium, Logik) Room 31, building 5 kräftriket, Department of Mathematics, Stockholm University  (KTH, Stockholm, Sweden)Anders Mörtberg: Cubical techniques in homotopy type theory and univalent foundations (Seminarium, Logik) -
Seminarium, Logik
onsdag 2018-10-10, 10.00 - 11.45
Medverkande: Peter LeFanu Lumsdaine (Stockholm University)
Plats: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University 
2018-10-10T10:00:00.000+02:00 2018-10-10T11:45:00.000+02:00 Peter LeFanu Lumsdaine: Initiality for a general class of type theories (Seminarium, Logik) Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University  (KTH, Stockholm, Sweden)Peter LeFanu Lumsdaine: Initiality for a general class of type theories (Seminarium, Logik) -
Seminarium, Logik
onsdag 2018-10-24, 10.00 - 11.45
Medverkande: Favonia (CAS Oslo)
Plats: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University 
2018-10-24T10:00:00.000+02:00 2018-10-24T11:45:00.000+02:00 Favonia: Normalization in Cubical Type Theory (Seminarium, Logik) Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University  (KTH, Stockholm, Sweden)Favonia: Normalization in Cubical Type Theory (Seminarium, Logik) -
Seminarium, Logik
onsdag 2018-10-31, 10.00 - 11.45
Medverkande: Bahareh Afshari (University of Gothenburg)
Plats: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University 
2018-10-31T10:00:00.000+01:00 2018-10-31T11:45:00.000+01:00 Bahareh Afshari: Nested sequents for fixed point modal logic (Seminarium, Logik) Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University  (KTH, Stockholm, Sweden)Bahareh Afshari: Nested sequents for fixed point modal logic (Seminarium, Logik) -
Seminarium, Logik
onsdag 2018-11-14, 10.00 - 11.45
Medverkande: Chris Kapulkin (University of Western Ontario)
Plats: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University 
2018-11-14T10:00:00.000+01:00 2018-11-14T11:45:00.000+01:00 Chris Kapulkin: Cubical sets and higher category theory (Seminarium, Logik) Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University  (KTH, Stockholm, Sweden)Chris Kapulkin: Cubical sets and higher category theory (Seminarium, Logik) -
Seminarium, Logik
onsdag 2018-11-28, 10.00 - 11.45
Medverkande: Jacopo Emmenegger
Plats: Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University 
2018-11-28T10:00:00.000+01:00 2018-11-28T11:45:00.000+01:00 Jacopo Emmenegger: W-types in setoids (Seminarium, Logik) Room 16, building 5 kräftriket, Department of Mathematics, Stockholm University  (KTH, Stockholm, Sweden)Jacopo Emmenegger: W-types in setoids (Seminarium, Logik)