Data-Driven Search-Based Software Engineering

NII Shonan Meeting:

@ Shonan Village Center, December 11-14, 2017

Read More

Enhanced coinduction

NII Shonan Meeting:

@ Shonan Village Center November 13-17, 2017

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

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

NII Shonan Meeting:

@ Shonan Village Center, August 21-24, 2017

Read More

Towards Engineering Free/Libre Open Source Software (FLOSS) Ecosystems for Impact and Sustainability

NII Shonan Meeting:

@ Shonan Village Center June 26-29, 2017

Read More

Call for proposal!

We are constantly accepting your proposal to NII Shonan Meetings.

Next due date is December 15th, 2016.

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

Processing Big Data Streams

NII Shonan Meeting: @ Shonan Village Center June 5-8, 2017

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