SLACS2000 Program

English version


9月27日(水)

1400-1410
オープニング

14:10-15:20 (座長 龍田真)
中野浩 (龍谷大学理工学部)
近似様相による構成的プログラミング

横内寛文 (群馬大学工学部情報工学科)
Refinement typeの型チェック・アルゴリズムとその実装

15:35--17:20 (座長 坂井公)
坂本伸幸 (東北大学大学院理学研究科数学専攻)
新たなcountable functionalの構成法

毛利元彦 (北陸先端科学技術大学院大学情報科学研究科)
XPE with Theorem Provers

竹内泉 (京都大学情報学研究科)
ω正則言語の測度が有理数であること


9月28日(木)

9:30--10:40 (座長 赤間陽二)
藤田憲悦(島根大学),A. Middeldorp (筑波大学)
同期項書き換え系

山田俊行 (筑波大学電子・情報工学系)
単純型付き項書き換え系の停止性

10:55-12:40 (座長 長谷川立)
近藤通朗 (島根大学総合理工学部)
weak interlaced bilattice の構造について

下田守 (下関市立大学)
ファジィ関係の一般化について

白旗優 (慶應義塾大学商学部)
ゲーデルのダイアレクティカ解釈とゲーム意味論

14:00--15:00 (司会 亀山幸義)
高橋正子 (国際基督教大学)
チュートリアル:証明と型

15:15--16:25 (座長 藤田憲悦)
鹿島亮 (東京工業大学情報理工学研究科数理・計算科学専攻)
ラムダ計算の標準化定理の簡単な証明

馬場謙介 (九州大学大学院システム情報科学研究科情報理学専攻)
場合分けによる証明

16:40--17:50 (座長 桜井貴文)
廣川佐千男 (九州大学)
長D正規形と証明図の唯一性

角谷良彦 (京都大学数理解析研究所)
Duality between Call-by-name Recursion and Call-by-value Iteration

18:30-21:00: 懇親会 at 串八

9/29(金)

9:30--11:15 (座長 鹿島亮)
上出哲広 (和歌山工業高等専門学校電子工学科)
Mingleを持つ部分構造論理

佐々木克巳 (南山大学数理情報学部)
Propositional lax logic における選言のない論理式について

田中義人 (九州産業大学経済学部)
Some proof systems for common knowledge predicate logic

11:25--12:15 (座長 木下佳樹)
John Longley (Edinburgh University)
Programming languages and notions of computability

1215-1220
クロージング


SLACS ホーム , SLACS2000
SLACS2000幹事: 亀山幸義