イベント / 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)

基調講演 2

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

• talk-ShonanMeetings100th.pdf
• Demo-ShonanMeetings100th.pdf
• sort.v
• revrev.v

パネルディスカッション

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

• 閉会挨拶　副所長／運営委員会委員長　相澤 彰子

使用言語

英語（通訳なし）

対象：

一般

主催

国立情報学研究所

後援

神奈川県

参加お申し込み方法

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

• 参加予約はこちら ※フォームは外部サイト（https://reg31.smp.ne.jp/）にリンクしています。

湘南会議 100回記念誌（PDF）

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

関連リンク

• 湘南会議100回記念シンポジウム（NIIオープンハウスウェブサイト内）

お問い合わせ

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