Home
Programme
Directions
Materials
Photos
Workshop on Constructivism: Logic and Mathematics
(supported by the
Japan Advanced Institute of Science and Technology
)
26 - 30 May 2008
Kanazawa
(Japan)
Organizers:
Josef Berger
and
Hajime Ishihara
Local organizing committee:
Shinya Hirata, Naoki Komazawa, Masahiro Tatsuzawa
Tutorials:
Peter Aczel
(Constructive Set Theory)
Douglas Bridges
(Constructive Analysis)
Giovanni Sambin
(Formal Topology)
Helmut Schwichtenberg
(Programme Extraction)
Invited Speakers:
Toshiyasu Arai
Susumu Hayashi
Kengo Okamoto
Erik Palmgren
Michael Rathjen
Masahiko Sato
Peter Schuster
Makoto Tatsuta
Mariko Yasugi
Further Speakers:
Ryota Akiyoshi
Ruben van den Brink
Robin Havea
Robert Lubarsky
Takako Nemoto
Dirk Pattinson
Dieter Spreen
Izumi Takeuti
Keita Yokoyama
Satoru Yoshida
Further Participants:
Ichiro Hasuo
Kensuke Kojima
Ray Mines
Koji Nakazawa
Takuro Onishi
Hirofumi Saito
Kentaro Sato
Ken Shiotani
Hiroki Takamura
René Vestergaard
Kazushige Terui