2001年10月25日 国際シンポジウム
第7回 証明と計算における書き換え技法
開催日時 : 2001年10月25日(月)・10月26日(火)・10月27日(水) 開催場所 : 仙台・五橋会館
2001年9月25日 国際シンポジウム
第8回 非線形理論とその応用
開催日時 : 2001年10月28日(日)・10月29日(月)・10月30日(火)・10月31日(水)・11月1日(木) 開催場所 : 宮城蔵王ロイヤルホテル