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

Reverse Execution in Testing –Improving Security and Reliability

NII Shonan Meeting:

@ Shonan Village Center, July 3-6, 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

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

Algorithms and Optimization under Uncertainty

NII Shonan Meeting:

@ Shonan Village Center, May 22-25, 2017

Read More

Semantics of Effects, Resources, and Applications (NII Shonan School)

NII Shonan Meeting: @ Shonan Village Center May 15-19, 2017

Read More

Computational Metabolomics

NII Shonan Meeting:

@ Shonan Village Center, March 20-23, 2017

Read More

Mining Software Repositories: Accomplishments, Challenges and Future Trends (NII Shonan School)

NII Shonan Meeting: @ Shonan Village Center, March 6-10, 2017

Read More

Microfluidic Biochips: Bridging Biochemistry with Computer Science and Engineering

NII Shonan Meeting:

@ Shonan Village Center,February 27-March 2, 2017

Read More

Algorithmics for Beyond Planar Graphs

NII Shonan Meeting: @ Shonan Village CenterNovember28-December 1, 2016

Read More

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

NII Shonan Meeting:

@ Shonan Village Center, November 22-25, 2016

NII Shonan Meeting Report (ISSN 2186-7437):No.2016-16

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

NII Shonan Meeting Report (ISSN 2186-7437):No.2016-14

Read More

Bidirectional Transformations

NII Shonan Meeting:

@ Shonan Village Center September 26-29, 2016

Read More