The 14th Logic and Computation Seminar

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.

コメントは受け付けていません。