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

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