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

次の通り、第16回 論理と計算セミナーを計画しています。
皆様のご参加をお持ちしております。

日時: 2018年 9月 3日 (月) 16:30〜18:00
場所: 福岡工業大学 FITセミナーハウス(大分県由布市湯布院町)
http://www.fit.ac.jp/shisetsu/kagai/seminar/index
参加費:基本無料ですが,宿泊される場合は,論理と計算サマースクールの参加費が必要.
講演,参加申し込み締切:8月10日
講演:

  1. Brett McLean (University College London, 学振特別研究員(サマープログラム)):Algebraic reasoning for functions
  2. 溝口佳寛(九大IMI・数理・データサイエンス教育センター):九州大学数理・データサイエンス教育研究センターと AIMaP 事業について
  3. 井口修一 (福岡工業大学 情報工学部):1次元CAで実現する奇偶ソートについて

今回の論理と計算セミナーは,論理と計算サマースクールの一部として開催する計画です.論理と計算サマースクールは,HPにも趣旨を書いていますが,学部生を中心とした超若手研究者に研究発表・議論の場を設け,研究活動への意欲向上を狙ったものです.こちらも参加を検討いただけると幸いです.

第1回論理と計算サマースクール

講演希望,不明な点,質問などありましたら,井口までご連絡ください.

井口修一( inokuchi (at) fit.ac.jp )