Diagrammatic methods for linear and nonlinear systems

NII Shonan Meeting:

@ Shonan Village CenterNovember 26-29, 2018

Read More

Multimodal Agents for Ageing and Multicultural Societies

NII Shonan Meeting:

@ Shonan Village Center, October 29 – November 1, 2018

Read More

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

Intentional and extensional aspects of computation: From computability and complexity to program analysis and security

NII Shonan Meeting:

@ Shonan Village Center, January 22 – 25, 2018

Read More

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

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