Erik Palmgren Memorial Conference | Homotopy Type Theory
source link: https://homotopytypetheory.org/2020/11/15/erik-palmgren-memorial-conference/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
Erik Palmgren Memorial Conference
Erik Palmgren, professor of Mathematical Logic at Stockholm University, passed away unexpectedly in November 2019.
This conference will be an online workshop to remember and celebrate Erik’s life and work. There will be talks by Erik’s friends and colleagues, as well as time for discussions and exchange of memories during breaks. Talks may be about any topics that Erik would have enjoyed, including but not limited to (in Erik’s words):
– Type theory and its models. The relation between type theory and homotopy theory.
– Categorical logic and category-theoretic foundations.
– Constructive mathematics, especially formal topology and reverse constructive mathematics.
– Nonstandard analysis, especially its constructive aspects
– Philosophy of mathematics related to constructivism.
Online, 19–21 Nov 2020
http://logic.math.su.se/palmgren-memorial/
Related
Recommend
-
25
15-819 Homotopy Type Theory Course Information Time: Mon-Wed 10:30-11:50 Room: 4303 GHC Instructor: Robert Har...
-
9
Memorial Conference for Erik Palmgren, 1963–2019 Rescheduled to online, 19–21 Nov 2020 Erik Palmgre...
-
15
Homotopy Type Theory 2019 The International Conference on Homotopy Type Theory
-
14
Homotopy Type Theory Erik Palmgren Memorial Conference
-
16
Real-cohesive homotopy type theory Two new papers have recently appeared online: Both of them have fairly chatty introductions, so...
-
11
Homotopy Type Theory should eat itself (but so far, it’s too big to swallow) The title of this post is an homage to a well-known...
-
12
[Submitted on 18 Jan 2012 (v1), last revised 2 May 2012 (this version, v2)] Inductive types in homotopy type theory
-
6
Homotopy Type Theory in Agda This repository contains a development of homotopy type theory and univalent foundations in Agda. The structure of the source code is described below. Setup The code is loosely broken int...
-
13
Last call for submissions INTERNATIONAL CONFERENCE AND SUMMER SCHOOL ON HOMOTOPY TYPE THEORY 12-17 August 2019 Carnegie Mellon University, Pittsburgh USA htt...
-
12
Exercise 6.9 of the HoTT book tells us that, and assuming LEM, we can exhibit a function
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK