イベント / EVENT

イベントのお知らせ

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

img_shonanmtg100_s.png

チラシをダウンロード

国立情報学研究所では、ダグストゥール形式によるアジア初のセミナーとして、平成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 開場]

会場:

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

プログラム:
基調講演 1

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

基調講演 2

The Coq proof assistant: principles, examples and main applications
Prof. Pierre Casteran (University of Bordeaux)

パネルディスカッション

10年後の湘南会議へ期待すること
パネリスト:Prof. Raimund Seidel, Prof. Pierre Casteran, 教授 河原林 健一
コーディネータ:教授 胡 振江

  • 閉会挨拶 副所長/運営委員会委員長 相澤 彰子
使用言語

英語(通訳なし)

対象:

一般

主催

国立情報学研究所

後援

神奈川県

参加お申し込み方法

下記「参加予約はこちら」より予約フォームを開き、必要事項をご入力の上お申込みください。

湘南会議 100回記念誌(PDF)

img_book_niishonanmtg100th.png

湘南会議 100回記念誌をダウンロード

関連リンク
お問い合わせ

湘南会議 事務局:shonan [at] nii.ac.jp

entry3109

注目コンテンツ / SPECIAL