Research Institute of Electrical Communication Tohoku University

MENU
October 25, 2001 Symposiums
7th Rewriting in Proof and Computation
Date : Oct. 25-27, 2001 Place : Sendai Itsutsubashi Hall
September 25, 2001 Symposiums
8th Nonlinear Theory and its Applications
Date : Oct. 28-Nov. 1, 2001 Place : Miyagi-Zao Royal Hotel