Research visit of Prof. Rosalie Iemhoff, Utrecht University, and Prof. Sebastiaan Terwijn, University Nijmegen, NetherlandsResearch visit of Prof. Rosalie Iemhoff, Utrecht University, and Prof. Sebastiaan Terwijn, University Nijmegen, Netherlands
Sun, 2012/11/04 - Fri, 2012/11/16

Prof. Iemhoff is an expert in proof theory and intuitionistic logic, Prof. Terwijn an expert in complexity theory. Both will visit the JAIST on invitation of Norbert Preining for common research work.