Workshop on Proof Theory and Computability Theory
Place:
Akiu Spa Hotel Iwanumaya, Sendai, Miyagi
Organizers:
Hajime Ishihara (JAIST) and Kazuyuki Tanaka (Tohoku University)
Local organizers:
Takeshi Yamazaki, Sam Sanders, Keita Yokoyama and Naohi Eguchi.
Date: 21-24 February 2011
