EVENT

Shonan Meetings 100th Commemorative Symposium

NII launched the NII Shonan Meeting as the first Dagstuhl-style seminar in Asia in February 2011. This international seminar series consist of a small group of 25-35 participants, the top-level researchers in the discipline of informatics from all over the world and they focus on discussing intensively on the particular themes, by staying together at the Shonan Village Center. And now the seminars have gained high reputation as the effective and useful venue for the research discussion from the participants.

As commemorating the NII Shonan Meeting's 100th milestone starting from the first seminar, NII is holding Shonan Meetings 100th Commemorative Symposium on June 22nd. We are aiming at building up more advanced and enhanced series of seminar through discussing the announced achievements from the last seminars and the problems to be solved from now on.

The symposium will have two distinguished keynote speakers. Professor Raimund Seidel at Saarland University, a director at Dagstuhl and an authority in Computational Geometry, will talk about the essence of Dagstuhl meetings, and Professor Pierre Casteran at University of Bordeaux, a recipient of the ACM Software System Award for the Coq proof assistant system (a proof assistant system for the first mechanical proof of the four-color theorem), will talk about principles and applications of Coq.

We are looking forward to having many researchers from universities and industries.

*Please notice that this symposium will be done in English and no simultaneous interpretation is provided.

Date:

June 22 (Fri.)

Time:

10:00-12:00 (Open at 9:30)

Place:

National Center of Sciences Building 1F
Access (Jump to the website of Hitotsubashi University)

Program:

• Opening Remarks: Masaru Kitsuregawa, Director General
• Guest Remarks: Kanagawa Prefecture
• Introduction of Shonan Meetings: Prof. Zhenjiang Hu
• Keynote 1
  Title: How Dagstuhl meetings have changed and remained the same over the years
  Prof. Raimund Seidel (Scientific Director of Schloss Dagstuhl & Saarland University)
• Keynote 2
  Title: 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

• Panel Discussion
  Title: What should NII Shonan Meetings be in next 10 years?
  Panelists: Prof. Raimund Seidel, Prof. Pierre Casteran, Prof. Ken-ichi Kawarabayashi, Coordinated by Prof. Zhenjiang Hu
• Closing Remarks: Prof. Akiko Aizawa, deputy director general/chair of Steering Committee of Shonan Meeting

Language:

English (no translation)

Open for:

Public

Hosted by:

National Institute of Informatics

Supported by:

Kanagawa Prefecture

Reservation of a Seat:

To observe the symposium, please reserve a seat in advance by contacting the office of Shonan Meetings with the information of your name, occupation and affiliation.

Office of Shonan Meetings:
Email: shonan [ at ] nii.ac.jp

Related link:

• Shonan Meetings 100th Commemorative Symposium (Website of NII Open House)
• Shonan Meetings 100th Commemorative Book (PDF)

Contact:

Office of Shonan Meetings, National Institute of Informatics
Email: shonan [ at ] nii.ac.jp