Workshop on Proof Theory and Computability Theory 2012

- Philosophical Frontiers in Reverse Mathematics

 
 

PARTICIPANTS:

Ryota Akiyoshi   (Keio University, Japan)

ANDOU Yuuki   (HOSEI University, Japan)

Toshiyasu Arai   (Chiba University, Japan)

Naohi Eguchi   (Tohoku University, Japan)

Ken-etsu Fujita   (Gunma University, Japan)

Makoto Fujiwara   (Tohoku University, Japan)

Tatsuya Haga   (Tohoku University, Japan)

Kojiro Higuchi   (Tohoku University, Japan)

Masashi Hirata   (Tohoku University, Japan)

Kazuma Ikeda   (Seitoku University, Japan)

Kazuhiro Ishida   (Tohoku University, Japan)

Hajime Ishihara   (Japan Advanced Institute of Science and Technology, Japan)

Shu Iwanami   (Tokyo Institute of Technology, Japan)

Shohei Izawa   (Tohoku University, Japan)

Ryo Kashima   (Tokyo Institute of Technology, Japan)

Tatsuji Kawai   (Japan Advanced Institute of Science and Technology, Japan)

Takayuki Kihara   (Tohoku University, Japan)

Ulrich Kohlenbach   (Darmstadt University of Technology, Germany)

Satoru Kuroda  (Gunma Prefectural Women's University)

Kristina Liefke   (Tilburg University, the Netherlands)

Kenshi Miyabe   (Kyoto University, Japan)

Shota Murakami   (Tohoku University, Japan)

Shohei Okisaka   (Tohoku University, Japan)

Kenji Omoto   (Tohoku University, Japan)

Florian Pelupessy   (Ghent University, Belgium)

NingNing Peng   (Tohoku University, Japan)

PENG Weiguang   (Tohoku University, Japan)

Sam Sanders   (Ghent University, Belgium)

Akira Segawa   (Tokyo Gakugei University, Japan)

Ken Shiotani   (Japan)

Stephen G. Simpson   (Pennsylvania State University, USA)

Masaya Suzuki   (Tokyo University of Science, Japan)

Yuuta Takahashi   (Keio University, Japan)

Hiroki Takamura   (Japan Science and Technology agency, Japan)

Kazuyuki Tanaka   (Tohoku University, Japan)

Yoshihito Tanaka   (Kyushu Sangyo University, Japan)

Ahmad Termimi Ab Ghani   (Tohoku University, Japan)

Takeshi Yamazaki   (Tohoku University, Japan)

Kazunori Yanai   (Tohoku University, Japan)

Keita Yokoyama   (Tokyo Institute of Technology, Japan/ Pennsylvania State University, USA)

Osamu Yoshida   (Tohoku University, Japan)

Keisuke Yoshii   (Tohoku University, Japan)

Kazuto Yoshimura   (Japan Advanced Institute of Science and Technology, Japan)

Date: 20-23 February 2012