No.121 Towards industrial application of advanced formal methods for cyber-physical system engineering

NII Shonan Meeting:

Shonan Village Center, November 5-8, 2018

Read More

No.117 Multimodal Agents for Ageing and Multicultural Societies

NII Shonan Meeting:

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

Read More

No.136 Functional Stream Libraries and Fusion: What’s Next?

NII Shonan Meeting:

@ Shonan Village Center, October 22 – 25, 2018

Read More

No.123 Data Dependent Dissimilarity Measures

NII Shonan Meeting:

@ Shonan Village CenterOctober 15-18, 2018

Read More

No.127 Reimagining the Mental Map and Drawing Stability

NII Shonan Meeting:

@ Shonan Village Center, September 10-13, 2018

Read More

No.134 Advances in Heterogeneous Computing from Hardware to Software

NII Shonan Meeting:

@ Shonan Village Center, September 3 – 6, 2018

Read More

No.138 Graph Database Systems: Bridging Theory, Practice, and Engineering

NII Shonan Meeting:

@ Shonan Village Center, July 30 – August 2, 2018

Read More

No.125 Piecewise smooth system and optimization with piecewise linearization via algorithmic differentiation

NII Shonan Meeting:

Shonan Village CenterJune 25 – 28, 2018

Read More

No. 135 Augmented Reality in Human-Computer Interaction

NII Shonan Meeting:

@ Shonan Village Center, June 04 – 07, 2018

Read More

No.113 Meta-Programming for Statistical Machine Learning

NII Shonan Meeting:

@ Shonan Village Center May 22-25, 2018

Read More

No.114 Resilient Machine-to-Machine communication

NII Shonan Meeting:

@ Shonan Village Center, March 26 -29, 2018

Read More

No.116 Anonymization methods and inference attacks: theory and practice

NII Shonan Meeting:

@ Shonan Village Center, March 5 – 8, 2018

Read More

No.112 Theory and Practice of Data Plane Programming

NII Shonan Meeting:

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

Read More

No.122 Analysing Large Collections of Time Series

NII Shonan Meeting:

@ Shonan Village Center, February 12 – 15, 2018

Read More

No.120 Visual Analytics: Towards Effective Human-Machine Intelligence

NII Shonan Meeting:

@ Shonan Village CenterJanuary 29 – February 1, 2018

Read More

No.115 Intensional 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

No.105 Data-Driven Search-Based Software Engineering

NII Shonan Meeting:

@ Shonan Village Center, December 11-14, 2017

Read More

No.124 Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications

NII Shonan Meeting:

@ Shonan Village Center, December 4 – 7, 2017

Read More

No.097 Enhanced coinduction

NII Shonan Meeting:

@ Shonan Village Center November 13-17, 2017

Read More

No.106 Geometric Graphs: Theory and Applications

NII Shonan Meeting:

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

Read More