100th Commemorative Symposium of Shonan Meetings

In October 2017, NII finally reached the 100th seminar of the Shonan Meetings. In commemoration of this, NII is holding Shonan Meetings 100th Commemorative Symposium in Tokyo on June 22nd, 2018. 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 Friday, 2018

Time

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

Place

Special Conference Room, National Center of Sciences Building 2F

Please find access information at NII official website.

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)
  • 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 in the following ways.

In Japanese:

Please reserve a seat via the following reservation form. The link is at the bottom of the page.

https://www.nii.ac.jp/event/2018/0622-shonanmtg.html

In English:

Please send an email to the office of Shonan Meetings with the information of your name, occupation and affiliation.

The office of Shonan Meetings

Email: shonan [ at ] nii.ac.jp

Read More

Change of the closing days of submission proposals

We would like to announce that closing days of submission proposals for Shonan Meetings have been changed since 2018. Until 2017, they were the 15th of June, September, and December, but they have been changed to the 15th of June and December. Therefore please note that any proposal submitted after June 15th will be reviewed after the following closing day, December 15th.

Regarding how to submit your proposal of Shonan Meeting, please see Organizer’s Guidelines.

If you have any inquiry, please contact shonan <at> nii. ac.jp .

Thank you for your kind understanding.

 

Office of Shonan Meetings, National Institute of Informatics

Read More

Our deepest condolences to the family and friends of Professor Martin Hofmann

Detail(PDF), Updated: February 9, 2018

Read More

No.118 Modelling and Analysing Resilient Cyber-Physical Systems

NII Shonan Meeting:

@ Shonan Village Center, December 17 – 20, 2018

Read More

No.140 Optimization Methods in Geometric Vision

NII Shonan Meeting:

@ Shonan Village Center, January 28 – 31, 2019

Read More

No.150 Learning to Communicate: Challenges in Language Learning by AI, Robots and Humans

NII Shonan Meeting:

@ Shonan Village Center, February 18 – 22, 2019

Read More

No.147 Self-supporting, Extensible Programming Languages and Environments for Exploratory, Live Software Development

NII Shonan Meeting:

@ Shonan Village Center,  February 25 – 28, 2019

Read More

No.144 Parameterized Graph Algorithms & Data Reduction: Theory Meets Practice

NII Shonan Meeting:

@ Shonan Village Center, March 4 – 8, 2019

Read More

No.132 Modelling Cultural Processes

NII Shonan Meeting:

@ Shonan Village Center, March 11 – 14, 2019

Read More

No.130 Artificial General Intelligence in Games: Where Play Meets Design and User Experience

NII Shonan Meeting:

@ Shonan Village Center, March 18 – 21, 2019

Read More

No.146 Programming and Reasoning with Algebraic Effects and Effect Handlers

NII Shonan Meeting:

@ Shonan Village Center, March 25 – 29, 2019

Read More

No.141 Language as Goal-Directed Sequential Behavior: Computational Theories, Brain Mechanisms, Evolutionary Roots

NII Shonan Meeting:

@ Shonan Village Center,  May 20 – 23, 2019

Read More

No.154 Human-in-the-loop Big Data and AI: Connecting Theories and Practices for a Better Future of Work

NII Shonan Meeting:

@ Shonan Village Center, September 9 – 12, 2019

Read More

No. 156 Software Engineering for Machine Learning Systems (SEMLS)

NII Shonan Meeting:

@ Shonan Village Center, October 14-17, 2019

Read More

No.152 Release Engineering for Mobile Applications

NII Shonan Meeting:

@ Shonan Village Center, December 2-5, 2019

Read More

No.142 Web Molecular Graphics: Emerging Technologies & Standards

NII Shonan Meeting:

@ Shonan Village Center, December 3 – 6, 2018

Read More

No.128 Workshop on Patient Similitude: Combining Histopathological Images & Multiple-Scale Molecular Phenotypes

NII Shonan Meeting:

@ Shonan Village Center, November 12 – 15, 2018

Read More

No.136 Functional Stream Libraries and Fusion: What’s Next?

NII Shonan Meeting:

@ Shonan Village Center, October 22 – 25, 2018

Read More

No.134 Advances in Heterogeneous Computing from Hardware to Software

NII Shonan Meeting:

@ Shonan Village Center, September 3 – 6, 2018

Read More

No.138 Graph Database Systems: Bridging Theory, Practice, and Engineering

NII Shonan Meeting:

@ Shonan Village Center, July 30 – August 2, 2018

Read More