マス・フォア・インダストリ研究所

セミナー



リスト 全て(掲示受付分)(1730) 今日・明日のセミナー(0)

第18回論理と計算セミナー


開催時期 2019-11-15 13:30~2019-11-15 18:00

場所 九州大学 西新プラザ 多目的室 (〒814-0002 福岡市早良区西新2-16-23)

受講対象  

講師 Daniel Gaina (九州大学), Walter Guttmann (JSPS International Research Fellow / University of Canterbury, New Zealand), 古澤 仁 (鹿児島大学), 河原 康雄 (九州大学 名誉教授)

日時: 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