講演予定、出張予定 9月1日~10日

9月
1日(月) 東大本郷キャンパス。聴講「Special JFLI Seminar on formal proofs in Coq」。
リンクはこちら

3日(水)~5日(金) 山口県、湯田温泉。研究集会「組合せ論サマースクール2014(COS2014)」にて招待講演「疎構造やモダン符号の形式化で感じた組合せ論への期待」
リンクはこちら

6日(土)~10日(水) 米国、ハワイ大学。打ち合わせ。
千葉大学理学部数学・情報数理学科とハワイ大学数学科の学生交流(留学制度)の立ち上げ。
千葉大学から2名、ハワイへ1か月派遣。(9月6日~10月5日)

以上。
ただの列挙になっちゃったので、
おまけの写真。
写真 2014-08-13 13 56 48
先日の夏休みに、北海道へ家族旅行したときの1枚。


コメントを残す

メールアドレスが公開されることはありません。 * が付いている欄は必須項目です