分野別セミナー

日時: 2019年11月15日(金) 13:30-18:00
場所: 九州大学西新プラザ多目的室 (福岡市早良区西新2-16-23)
http://nishijinplaza.kyushu-u.ac.jp/index.php


プログラム
13:30 – 14:10 Daniel Gaina (九州大学)
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 古澤 仁 (鹿児島大学)
On Continuity of Relations
16:10 – 16:40 河原 康雄 (九州大学 名誉教授)
関係計算の歴史をふりかえる
17:00 – 18:00 自由討論


問合せ先: 溝口佳寛 (九州大学マス・フォア・インダストリ研究所)
ym ＠ imi.kyushu-u.ac.jp