Institute of Mathematics for Industry

Seminar



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

The 18th Logic and Computation Seminar


Hold Date 2019-11-15 13:30~2019-11-15 18:00

Place Nishijin Plaza, (2-16-23 Nishijin, Sawara-ku, Fukuoka-shi)

Object person  

Speaker Daniel Gaina (Kyushu University), Walter Guttmann (JSPS International Research Fellow / University of Canterbury, New Zealand), Hitoshi Furusawa (Kagoshima University), Yasuo Kawahara (Kyushu University)

Date: Friday,  15 November 2019, 13:30-18:00
Place:  Nishijin Plaza, (2-16-23 Nishijin, Sawara-ku, Fukuoka-shi)
http://nishijinplaza.kyushu-u.ac.jp/english/index.php

Program:
13:30 – 14:10 Daniel Gaina (Kyushu University, Japan)
Birkhoff Completeness for Hybrid-Dynamic First-Order Logic
14:30 – 15:00 Walter Guttmann (JSPS International Research Fellow /
                                                University of Canterbury, New Zealand)
Algebras for Minimum Spanning Tree Problems
15:20 – 15:50 Hitoshi Furusawa (Kagoshima University, Japan)
On Continuity of Relations
16:10 – 16:40 Yasuo Kawahara (Kyushu University, Japan)
History of Relational Calculus
17:00 –  18:00 Free Discussion

Contact: Yoshihiro Mizoguchi (Kyushu University)
ym (at) imi.kyushu-u.ac.jp

HP: https://lcseminar.wordpress.com/2019/11/12/lcseminar18/