CONSTRUCTIVE MATHEMATICS: PROOF AND COMPUTATION
Lectures and seminars Fall 2009 at Uppsala University within the Marie Curie IRSES project
CONSTRUMATH.
- November 17
-
13.15 - 15.00: Hajime Ishihara (JAIST, Japan): Constructive reverse
mathematics: an introduction. Lectures, Room Å12167.
- 15.30 - 16.15: Benno van den Berg (Darmstadt):
On a forcing model for non-standard arithmetic. Seminar,
Room Å13167.
- November 24
- 10.15 - 12.00: Warwick Tucker (Uppsala): An introduction
to interval analysis, with an application to dynamical systems.
Lectures, Room Å11167.
- --- Lunch break ---
- 13.15 - 14.00: Hajime Ishihara (JAIST, Japan): Constructive reverse
mathematics: an introduction (cont.), Lecture, Room Å11167.
-
14.15 - 15.00: Inger Sigstam (Uppsala): Formal topology
and computability.
Seminar, Room Å11167.
-
15.45 - 16.30: Anton Hedin (Uppsala): Interval
derivatives in formal topology.
Seminar, Room Å13167.
- 16.45 - 17.30: Jaap van Oosten (Utrecht): Homotopy
in the effective topos.
Seminar, Room Å13167.
Venue: Ångströmlaboratoriet, Polacksbacken, Uppsala.
Seminars at Institut Mittag-Leffler
Preparatory course: A first introduction to constructive logic and type theory
(Lecture 3-9 of the course Applied Logic )
Erik
Palmgren, November 19, 2009