マス・フォア・インダストリ研究所

セミナー



リスト 全て(掲示受付分)(1730) 今日・明日のセミナー(0)

第14回論理と計算セミナー


開催時期 2015-11-12 13:00~2015-11-12 16:50

場所 九州大学マス・フォア・インダストリ研究所・百道オフィス (福岡市早良区百道浜3-8-34 九州大学産学官連携イノベーションプラザ 3階研究室2)

受講対象  

講師 Peter Höfner (NICTA, Australia), Walter Guttmann (Univ. Canterbury, New Zealand), Yasuo Kawahara (Kyushu Univ., Japan), Toshiaki Matsushima (Kyushu Univ., Japan), Mitsuhiro Kondo, Takuya Matsuo (Kyushu Univ., Japan)

Program:

13:00-13:10 (Opening)

13:10-13:50
Verification of Relational Programs and Approximation Algorithms
Peter Höfner (NICTA, Australia)

14:00-14:40
Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm
Walter Guttmann (Univ. Canterbury, New Zealand)

14:50-15:30
Axiom of choice and Zorn’s lemma in Dedekind categories
Yasuo Kawahara (Kyushu Univ., Japan)

15:40-16:10
A Certified Wang Tiling Program with the Coq Proof Assistant (Japanese)
Toshiaki Matsushima (Kyushu Univ., Japan)

16:20-16:50
Origami System using CGA (Japanese)
Mitsuhiro Kondo, Takuya Matsuo (Kyushu Univ., Japan)


リンク