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

Geometric Graphs: Theory and Applications

NII Shonan Meeting:

@ Shonan Village Center, October 30 – November 2, 2017

Read More

Computation over Compressed Structured Data

NII Shonan Meeting:

@ Shonan Village Center, October 9 – 12, 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

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

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