イベント / EVENT

イベントのお知らせ

国立情報学研究所湘南会議 100回記念シンポジウム

国立情報学研究所では、ダグストゥール形式によるアジア初のセミナーとして、平成23年2月より「NII湘南会議」をスタートしました。本セミナーは、世界各国から情報学分野のトップレベル研究者25～35名程度が参加し、合宿形式でトピックに基づいた議論を集中的に行うものであり、参加者から有効な研究議論の場として高く評価されています。本セミナー開始から100回目を迎えたことを記念して、「湘南会議100回記念シンポジウム」を開催し、これまでの成果発表や今後の課題についての議論を通じ、本セミナーの更なる発展を目指します。

計算幾何研究の大家で本会議がモデルとしたダグストゥールセミナーのディレクターであるザールラント大学のRaimund Seidel教授、四色定理の機械的な証明で有名なCoq証明支援システムの設計者の一人で、ACM Software System Awardの受賞者であるボルドー大学のPierre Casteran教授が来日し、講演を行う予定です。

大学・企業等の研究者の皆様のご参加をお待ちしております。

なお、本シンポジウムは英語にて行われます。同時通訳はご用意しておりませんので、あらかじめご了承ください。

日時：

2018年6月22日（金）　10:00〜12:00［9:30 開場］

会場：

特別会議室（学術総合センター1Ｆ）
アクセスマップ ※一橋大学のウェブサイトにリンクしています。

プログラム：

開会挨拶　所長　喜連川優
来賓挨拶　神奈川県
湘南会議概要説明　教授　胡振江

基調講演 1

How Dagstuhl meetings have changed and remained the same over the years
Prof. Raimund Seidel (Scientific Director, Schloss Dagstuhl / Saarland University)