イベント / EVENT

イベントのお知らせ

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

img_shonanmtg100_s.png

チラシをダウンロード

日時:

2018年6月22日(金) 10:00〜12:00[9:30 開場]

会場:

一橋講堂(学術総合センター 2階)
アクセスマップ ※一橋大学のウェブサイトにリンクしています。

プログラム:
基調講演 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