Visual Analytics: Towards Effective Human-Machine Intelligence

NII Shonan Meeting:

@ Shonan Village CenterJanuary 29 – February 1, 2018

Read More

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

Data-Driven Search-Based Software Engineering

NII Shonan Meeting:

@ Shonan Village Center, December 11-14, 2017

Read More

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

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

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