**********************************************************************

	     workshop on Meta-Arithmetic and Computation
			October 13 - 14, 1998
			  Tohoku University
			    Sendai, Japan

		     (In conjunct with SLACS'98)

**********************************************************************

日程：1998年10月13日(火)〜14日(水)

場所：東北大学理学部　数学教室川井ホール

講演題目及び時間割：

13日 14:00〜14:50
竹内外史（イリノイ大学名誉教授）（演題未定）

13日 15:10〜17:00
A. Weiermann ( Westfaelischen-Wilhelms Universitaet Muenster, Deutscheland )
    `Proof Theoretic Analyses of Kruskal Theorem'

14日 10:00〜11:50
S. Wainer ( Leeds University, UK )
    `Accessible Recursive Functions'
    `Tiered Recursion and its Proof Theory'

連絡先：田中一之   022-217-7707, tanaka@math.tohoku.ac.jp