Participating Departments and People
-
Department of Mathematics, Uppsala University, Sweden
-
Department of Mathematics,
Ludwig-Maximilians-Universität München, Germany
-
Department of Pure and Applied Mathematics,
University of Padova, Italy
-
School of Information Science,
Japan Advanced Institute of Science and Technology, Japan
-
Department of Mathematics and Statistics,
University of Canterbury, New Zealand
Trimester
The Trimester will take place from mid-October 2009 until mid-February 2010. Locations are
Munich and Uppsala.
It will consist of the following seminars and courses.
-
Seminar on Proof Theory, Berger and Schwichtenberg, Munich
-
Lectures and seminars Fall 2009 at Uppsala University
- Lectures in January 2010 at
the University of Munich
- Peter Schuster, Formal Methods in Commutative Algebra: some Case Studies
- Giovanni Sambin, Constructive Topology via the Basic Picture - a Survey
- Douglas Bridges, Aspects of constructive analysis and constructive reverse
mathematics
Foundations of Analysis
Functional Analysis
Apartness Spaces
- Peter Aczel, Constructive Set Theory
| |
Mon, 11 Jan |
Tue, 12 Jan |
Thu, 14 Jan |
Fri, 15 Jan |
Mon, 18 Jan |
Tue, 19 Jan |
Thu, 21 Jan |
Fri, 22 Jan |
| Speaker |
Schuster |
Schuster |
Sambin |
Sambin |
Bridges |
Bridges |
Aczel |
Aczel |
| |
|---|
| Time |
10 - 12 |
----- |
----- |
10 - 12 |
10 - 12 |
10 - 12 |
10 - 12 |
----- |
| Lecture Hall |
B133¹ |
----- |
----- |
B133¹ |
B133¹ |
101² |
B039¹ |
----- |
| |
|---|
| Time |
14 - 16 |
14 - 16 |
14 - 16 |
14 - 16 |
----- |
14 - 16 |
14 - 16 |
14 - 16 |
| Lecture Hall |
F007³ |
102² |
B132¹ |
B045¹ |
----- |
102² |
103² |
A248¹ |
¹ Theresienstraße 39
² Richard-Wagner-Straße 10
³ Main building (Hauptgebäude)
Project Workshop
We plan to hold a workshop on constructive mathematics from 6 through 11 June
2010 in the Benedictine nunnery on the Fraueninsel in the Chiemsee.
A conference website is under construction.
Links
Josef Berger, last update
18.01.2010