第14回論理と計算セミナー
論理と計算セミナー
開催期間
2015.11.12(木)
13:00 ~ 16:50
13:00 ~ 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)
リンク
第14回論理と計算セミナー案内
アクセス