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

No.126 Computation over Compressed Structured Data

NII Shonan Meeting:

@ Shonan Village Center, October 9 – 12, 2017

Read More

No.100 Analysis and Verification of Pointer Programs

NII Shonan Meeting:

@ Shonan Village Center, October 2-5, 2017

Read More

No.096 Logic and Computational Complexity

NII Shonan Meeting:

@ Shonan Village Center, September 18 – 22, 2017

Read More

No.108 Memory Abstraction, Emerging Techniques and Applications

NII Shonan Meeting:

@ Shonan Village Center, September 11 – 14, 2017

Read More

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

NII Shonan Meeting:

@ Shonan Village Center, August 21-24, 2017

Read More

No.110 The 2nd Controlled Adaptation of Self-adaptive Systems (CASaS2017)

NII Shonan Meeting:

@ Shonan Village Center, July 24 – 28, 2017

Read More

No.102 Reverse Execution in Testing –Improving Security and Reliability

NII Shonan Meeting:

@ Shonan Village Center, July 3-6, 2017

Read More