Seminarium, Logik

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)

Simon Henry: Constructive homotopy theory, Weak model structures and infinity groupoids in type theory

28 feb

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)

Valentin Goranko and Ruaan Kellerman: Towards model theory of trees generated by elementary classes of linear orders

11 apr

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)

Johan Lindberg: Logical Spaces

18 apr

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)

Peter LeFanu Lumsdaine: Towards a general meta-theory of dependent type theories

2 maj

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)

Jan Cedervall: Para-consistent, doxastic hybrid logic

9 maj

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)

Peter LeFanu Lumsdaine: Projectivity in the free topos

23 maj

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)

Per Martin-Löf: Weyl’s attempted mediation between intuitionism and formalism

30 maj

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)

Göran Sundholm: Intended interpretations and the choice of formal systems: Themes from Kreisel’s work on constructivist foundations

5 sep

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)

Guillaume Brunerie: A proof sketch for the initiality conjecture

12 sep

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)

Floris van Doorn: Towards Spectral Sequences for Homology

19 sep

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)

Menno de Boer: The Gluing Construction for Path Categories

26 sep

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)

Anders Mörtberg: Cubical techniques in homotopy type theory and univalent foundations

3 okt

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)

Peter LeFanu Lumsdaine: Initiality for a general class of type theories

10 okt

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)

Favonia: Normalization in Cubical Type Theory

24 okt

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)

Bahareh Afshari: Nested sequents for fixed point modal logic

31 okt

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)

Chris Kapulkin: Cubical sets and higher category theory

14 nov

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)

Jacopo Emmenegger: W-types in setoids

28 nov

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)