Logic and Verification Methods in Security and Privacy

NII Shonan Meeting:

@ Shonan Village Center, October 26-29, 2015

NII Shonan Meeting Report (ISSN 2186-7437):No.2015-16

Read More

Mobile App Store Analytics

NII Shonan Meeting:

@ Shonan Village Center, October 19-22, 2015

NII Shonan Meeting Report (ISSN 2186-7437):No.2015-15

Read More

Validated Numerics Meets Reachability Analysis for CPS Design

NII Shonan Meeting:

@ Shonan Village Center, September 28-October 1, 2015

NII Shonan Meeting Report (ISSN 2186-7437):No.2015-14

Read More

Semantics and Verification of Object-Oriented Languages

NII Shonan Meeting:

@ Shonan Village Center, September 21-25, 2015

NII Shonan Meeting Report (ISSN 2186-7437):No.2015-13

Read More

Challenges for real-time human activity recognition

NII Shonan Meeting:

@ Shonan Village Center, September 14-17, 2015

NII Shonan Meeting Report (ISSN 2186-7437):No.2015-12

Read More

Engineering Adaptive Software Systems (EASSy)

NII Shonan Meeting:

@ Shonan Village Center, September 7-10, 2015

NII Shonan Meeting Report (ISSN 2186-7437):No. 2015-11

Read More

Synchronous Machine Translation

NII Shonan Meeting:

@ Shonan Village Center, August 3-6, 2015

NII Shonan Meeting Report (ISSN 2186-7437):No.2015-10

Read More

Dimensionality and Scalability II: Hands-On Intrinsic Dimensionality

NII Shonan Meeting:

@ Shonan Village Center, June 29-July 2, 2015

Read More

Developing Grand Challenges to Advance Crisis Informatics Technologies

NII Shonan Meeting:

@ Shonan Village Center,May 18-21, 2015 CANCELLED

Read More

The Future of Human-Robot Spoken Dialogue: from Information Services to Virtual Assistants

NII Shonan Meeting:

@ Shonan Village Center, March 26-28, 2015

Read More

Instruction and instructed action: Embodied reciprocity in interaction

NII Shonan Meeting:

@ Shonan Village Center, March 19-21, 2015

NII Shonan Meeting Report (ISSN 2186-7437):No. 2015-6

Read More

Static analysis meets runtime verification

NII Shonan Meeting:

@ Shonan Village Center, March 16-19, 2015

NII Shonan Meeting Report (ISSN 2186-7437):No.2015-5

Read More

Low level code analysis and applications to computer security

NII Shonan Meeting:

@ Shonan Village Center, March 2-5, 2015

Read More

Systems Resilience – Bridging the Gap Between Social and Mathematical

NII Shonan Meeting:

@ Shonan Village Center, February 23 – 26, 2015

Read More

Logical analysis of descriptions and their presentations – a computational logic approach

NII Shonan Meeting:

@ Shonan Village Center, January 26-29, 2015

Read More

Big Graph Drawing: Metrics and Methods

NII Shonan Meeting:

@ Shonan Village Center,January 12-15, 2015

Read More

Integration of Formal Methods and Testing for Model-based Systems Engineering

NII Shonan Meeting:

@ Shonan Village Center, December 1-4, 2014

NII Shonan Meeting Report (ISSN 2186-7437): No.2014-16

Read More

Towards Explanation Production Combining Natural Language Processing and Logical Reasoning

NII Shonan Meeting:

@ Shonan Village Center,November 27-30, 2014

NII Shonan Meeting Report (ISSN 2186-7437):No.2014-15

Read More

Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS)

NII Shonan Meeting:

@ Shonan Village Center,October 27-30, 2014

NII Shonan Meeting Report (ISSN 2186-7437):No.2014-14

Read More

Computational Intelligence for Software Engineering

NII Shonan Meeting:

@ Shonan Village Center, October 20-23, 2014

NII Shonan Meeting Report (ISSN 2186-7437):No.2014-13

Read More