Modelling and Analysing Resilient Cyber-Physical Systems

NII Shonan Meeting:

@ Shonan Village Center, May 14 – 17, 2018

Read More

Resilient Machine-to-Machine communication

NII Shonan Meeting:

@ Shonan Village Center, March 26 -29, 2018

Read More

Anonymization methods and inference attacks: theory and practice

NII Shonan Meeting:

@ Shonan Village Center, March 5 – 8, 2018

Read More

Theory and Practice of Data Plane Programming

NII Shonan Meeting:

@ Shonan Village Center, February 26 – March 1, 2018

Read More

NII Shonan Meeting Special Lecture

NII Shonan Meeting Special Lecture “IoTによる街の魅力最大化~その新しい流れと将来展望~” will be held.

Lecturer: Professor Noboru SONEHARA, National Institute of Informatics.

[Date] January 21, 2017
[Time] 13:20-16:35
[Place] Auditorium at Shonan Village Center

Leaflet

Read More

Analysis and Verification of Pointer Programs

NII Shonan Meeting:

@ Shonan Village Center, October 2-5, 2017

Read More

Logic and Computational Complexity

NII Shonan Meeting:

@ Shonan Village Center, September 18 – 22, 2017

Read More

Memory Abstraction, Emerging Techniques and Applications

NII Shonan Meeting:

@ Shonan Village Center, September 11 – 14, 2017

Read More

Software Engineering and Networked Control for Smart Cyber Physical Systems (SENCPS)

NII Shonan Meeting:

@ Shonan Village Center, August 21-24, 2017

Read More

the 2nd Controlled Adaptation of Self-adaptive Systems (CASaS2017)

NII Shonan Meeting:

@ Shonan Village Center, July 24 – 28, 2017

Read More

Reverse Execution in Testing –Improving Security and Reliability

NII Shonan Meeting:

@ Shonan Village Center, July 3-6, 2017

Read More

Call for proposal!

We are constantly accepting your proposal to NII Shonan Meetings.

Next due date is June 15th, 2017.

Please refer to our web page for details.:

http://shonan.nii.ac.jp/shonan/proposal-submissions/

Read More

The Academic Committee has accepted 9 proposals

The Academic Committee of NII Shonan Meeting has decided to accept the following 9 proposals.

    • Semantics of Effect, Resources, and Application
    • Language integrated queries: towards standard logics for big data analytics
    • Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability
    • Reverse Execution in Testing - Improving Security and Reliability
    • Software Engineering and Networked Control for Smart Cyber Physical Systems (SENCPS)
    • Analysis and Verification of Pointer Programs
    • Logic and Computational Complexity
    • Enhanced coinduction
    • Data-driven Search-based Software Engineering

The deadline for the next proposal submission is December 15, 2016

Read More

Language integrated queries: towards standard logics for big data analytics

NII Shonan Meeting:

@ Shonan Village Center, May 29-June 1, 2017

Read More

Algorithms and Optimization under Uncertainty

NII Shonan Meeting:

@ Shonan Village Center, May 22-25, 2017

Read More

Call for Book Proposal

We will publish books based on actual discussion at the Shonan meetings.

These books aim to offer a vision of future trends and contribute to society with the latest research direction. Those who are interested in editing/writing a book on the topic of meetings can make a proposal.

 

If you are interested in publishing books, please refer to the website:
http://shonan.nii.ac.jp/shonan/book-proposal/

 

Read More

Implicit and explicit semantics integration in proof based developments of discrete systems

NII Shonan Meeting:

@ Shonan Village Center, November 22-25, 2016

Read More

Perception in Augmented Reality

NII Shonan Meeting:

@ Shonan Village Center, November 14-18, 2016

Read More

Cognitive Development and Symbol Emergence in Humans and Robots

NII Shonan Meeting:

@ Shonan Village Center, October 3-7, 2016

Read More

Web-based Molecular Graphics

NII Shonan Meeting:

@ Shonan Village Center,September 5-8, 2016

Read More