分野別セミナー

4月23日(土)、九州大学 伊都キャンパス 数理棟にて、組合せ数学セミナー（今年度第1回）を開催します。
皆様のご参加をお持ちしております。
※ 今回は，諸事情により日時・会場が通常と異なります。
（なお、このセミナーは、グローバルCOEプログラム「マス・フォア・インダストリ研究教育拠点」の支援を受けて開催されます。）


【プログラム】
1) 13:05-13:45 Xavier Dahan（九州大学大学院 数理学研究院）
　Ramanujan graphs of very large girth based on octonions
2) 13:55-14:35 Kirill Morozov（九州大学 マス・フォア・インダストリ研究所）
　Introduction to code-based public key encryption
3) 14:45-15:35 野崎 寛（東北大学大学院 情報学研究科）
　グラフの埋め込みから得られる2距離集合について
4) 15:45-16:25 栗原 大武（東北大学大学院 理学研究科）
　excessとアソシエーションスキームについて
5) 16:35-17:15 坂下 一生（九州大学大学院 数理学府）
　Introduction to Coq Proof Assistant System

組合せ数学セミナー：
http://comb.math.kyushu-u.ac.jp/
グローバルCOEプログラム「マス・フォア・インダストリ研究教育拠点」：
http://gcoe-mi.jp/