Institute of Mathematics for Industry

Seminar



List All(1084) Today and tomorrow's seminars(0)

The 14th Logic and Computation Seminar


Hold Date 2015-11-12 13:00~2015-11-12 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)

Object person  

Speaker 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)

16:40 (Closing)

Link