Date: 2015-11-12 13:00-16:50
Place: Momochi Office, Institute of Mathematics for Industry, Kyushu University
3F, Industry-University-Government Collaboration Innovation Plaza,
3-8-34 Momochihama Sawara-ku, Fukuoka, JAPAN)
( http://imaq.kyushu-u.ac.jp/ja/imaq/access.php )
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
Toshiaki Matsushima (Kyushu Univ., Japan) - 16:20-16:50
Origami System using CGA
Mitsuhiro Kondo, Takuya Matsuo (Kyushu Univ., Japan)
- 16:50 (Closing)
If you have any inquiry, please let me (ym @ imi.kyushu-u.ac.jp) know.