Information about seminars held in and after 2013 can be found here.

Seminars berfore 2013

February 17, 2012, 6F seminar room (I-67)

• 13:00-14:30 Dieter Spreen (University of Siegen)
  An isomorphism theorem for partial numberings

October 26, 2011, 6F seminar room (I-67)

• 15:00-16:30 Sam Sanders (Ghent University)
  Reverse-engineering (constructive) reverse mathematics

September 30, 2011, 6F seminar room (I-67)

• 15:00-16:30 Florian Pelupessy (Ghent University)
  Phase transitions for unprovability

November 30, 2010, 8F seminar room (I-87)

• 14:00-15:30 Matthew Hendtlass (University of Leeds)
  Constructive mathematics without choice: the parable of the intermediate value theorem

November 12, 2010, 5F collaboration room #7 (I-56)

• 14:30-16:00 Giovanni Sambin (University of Padua)
  Point-free topology is more general than topology with points: an embedding of concrete spaces into formal topologies (Part 2)

November 9, 2010, 5F collaboration room #7 (I-56)

• 14:30-16:00 Giovanni Sambin (University of Padua)
  Point-free topology is more general than topology with points: an embedding of concrete spaces into formal topologies (Part 1)

September 15, 2010, 5F collaboration room #7 (I-56)

• 14:00-15:30 Josef Berger (University of Munich)
  Aligning WKL, UC, and FAN (2)

April 19, 2010, 9F seminar room (I-97)

• 14:00-15:30 Sam Sanders (Ghent University)
  A copy of several Reverse Mathemtaics

April 7, 2010, 6F seminar room (I-67)

• 13:00-14:30 Yasushi Sangu (JAIST)
  Set-generated classes in CZF
• 14:30-16:00 Josef Berger (University of Munich)
  Binary expansions
• 16:00-17:30 Naohi Eguchi (JAIST)
  Some machine-independent characterizations of complexity classes

March 16, 2010, 5F Collaboration room #6 (I-57g)

• 9:00-10:30 Helmut Schwichtenberg (University of Munich)
  Towards a formal theory of computability
• 10:30-12:00 Michael Rathjen (University of Leeds)
  Conservation and independence results in intuitionistic set theory
• 14:00-15:30 Josef Berger (University of Munich)
  Aligning WKL, UC, and FAN
• 15:30-17:00 Peter Schuster (University of Leeds)
  On Paths and points

February 25, 2010, 9F seminar room(I-97)

• 14:00-15:30 Erik Palmgren (Uppsala University)
  Sets, setoids and groupoids
• 15:30-17:00 Anton Hedin (Uppsala University)
  Locally Scott formal topologies and constructive interval analysis