Constructive Mathematics: Proof and Computation

Marie Curie International Research Staff Exchange Scheme

• Project coordinator: Peter Schuster
• Project summary

Participating Departments and People

• Department of Mathematics, Uppsala University, Sweden
  • Erik Palmgren
  • Viggo Stoltenberg-Hansen
• Department of Mathematics, Ludwig-Maximilians-Universität München, Germany
  • Josef Berger
  • Peter Schuster
  • Helmut Schwichtenberg
• Department of Pure and Applied Mathematics, University of Padova, Italy
  • Milly Maietti
  • Giovanni Sambin
  • Silvio Valentini
• School of Information Science, Japan Advanced Institute of Science and Technology, Japan
  • Hajime Ishihara
  • Takako Nemoto
• Department of Mathematics and Statistics, University of Canterbury, New Zealandmu
  • Douglas Bridges
  • Luminiţa Simona Vîţă

Trimester

!!Lecture Notes!!

• 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

Symposium on Topology and Analysis: Proof and Computation, Christchurch

• FRENZ Facilitating Research Co-operation Between Europe and New Zealand
• Workshop on Constructive Aspects of Logic and Mathematics (in Kanazawa / Japan)
• Models, Proofs, Constructions (München)
• The ForMath project