2013年以降のセミナーについてはここをご覧ください。
2012年以前のセミナー
2012年2月17日（金）、6階輪講室
- 13:00-14:30 Dieter Spreen (University of Siegen)
An isomorphism theorem for partial numberings
2011年10月26日（水）、6階輪講室
-
15:00-16:30 Sam Sanders (Ghent University)
Reverse-engineering (constructive) reverse mathematics
2011年9月30日（金）、6階輪講室
-
15:00-16:30 Florian Pelupessy (Ghent University)
Phase transitions for unprovability
2010年11月30日（火）、8階輪講室
-
14:00-15:30 Matthew Hendtlass (University of Leeds)
Constructive mathematics without choice: the parable of the intermediate value theorem
2010年11月12日（金）、コラボ7
-
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)
2010年11月9日（火）、コラボ7
-
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)
2010年9月15日（火）、コラボ7
- 14:00-15:30 Josef Berger (University of Munich)
Aligning WKL, UC, and FAN (2)
2010年4月19日（月）、9階輪講室
- 14:00-15:30 Sam Sanders (Ghent University)
A copy of several Reverse Mathemtaics
2010年4月7日、6階輪講室
- 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
2010年3月16日（火）、コラボ6
- 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
2010年2月25日（木）、9階輪講室
- 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
