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)