NII Shonan Meeting Report (ISSN 2186-7437) NII Shonan Meeting Reports are contributed by the organizers of NII Shonan Meetings. A report typically provides an overview of a meeting and a collection of talk abstracts, and may include summaries of talks, discussions, new findings, and identified issues. Unless explicitly mentioned, the copyright of each talk abstract is retained by its speaker, and the copyright of the other materials is retained by the meeting organizers.

No.2016-9(Published online: July 25, 2016) Theory and Applications of Geometric Optimization Organizers: Siu-Wing Cheng(The Hong Kong University of Science and Technology,Hong Kong), Yoshio Okamoto(The University of Electro-Communications, Japan), Otfried Cheong(KAIST, Korea) May 30 – June 2, 2016

No.2016-8(Published online: June. 10, 2016) Controlled Adaptation of Self-­adaptive Systems (CASaS) Organizers: Kenji Tei(NII, Japan), Nicolás D’Ippolito(Universidad de Buenos Aires, Argentina), Paola Inverardi (University of L’Aquila, Italy) April 25-28, 2016

No.2016-7(Published online: June. 10, 2016) Current Trends in Combinatorial Optimization Organizers: Takuro Fukunaga (National Institute of Informatics, Japan), R. Ravi (Carnegie Mellon University, USA), László Végh (London School of Economics, UK) April 11-14, 2016

No.2016-6(Published online: July. 25, 2016) Big Data: Challenges and Opportunities for Disaster Recovery Organizers: Sanjay Madria (Missouri University of Science and Technology, USA), Takahiro Hara (University of Osaka, Japan), Cyrus Shahabi (University of Southern California, USA), Calton Pu (Georgia Tech, USA) March 28-31, 2016

No.2016-5(Published online: Apr. 15, 2016) Architecture-Centric Modeling, Analysis, and Veri cation of Cyber-Physical Systems Organizers: Shin Nakajima(NII, Japan), Jean-Pierre Talpin(INRIA, France), Masumi Toyoshima (Denso, Japan) Huafeng Yu(Toyota ITC, USA)March 21 -24, 2016

No.2016-4(Published online: Apr. 12, 2016) Higher-Order Model Checking Organizers: Naoki Kobayashi (The University of Tokyo, Japan), Luke Ong (University of Oxford, UK), Igor Walukiewicz (CNRS, LaBRI, Bordeaux University, France) March 14-17, 2016

No.2016-3(Published online: June. 10, 2016) Mining & Modeling Unstructured Data in Software‐Challenges for the Future Organizers: Sonia Haiduc (Florida State University, USA), Takashi Kobayashi (Tokyo Institute of Technology, Japan), Michele Lanza (University of Lugano, Switzerland), Andrian Marcus (University of Texas at Dallas, Texas, USA) March 7-10, 2016

No.2016-2(Published online: Apr. 13, 2016)  Immersive Analytics: A new multidisciplinary initiative to explore future interaction technologies for data analytics Organizers: Takayuki Itoh (Ochanomizu University, Japan), Kim Marriott(Monash University, Australia), Falk Schreiber(Monash University, Australia) Uwe Wossner (University of Stuttgart, Germany)February 15-18, 2016

No.2016-1(Published online: Apr. 12, 2016) Analytics on complex networks: scalable solutions for empirical questions Organizers: George Fletcher (Eindhoven University of Technology, The Netherlands), Taro Takaguchi (National Institute of Informatics, Japan), Yuichi Yoshida (National Institute of Informatics, Japan) February 8 -11, 2016

No.2015-18(Published online: Jan. 8, 2016) Putting Heterogeneous High-Performance Computing at the Fingertips of Domain Experts Organizers: Wim Vanderbauwhede (University of Glasgow, UK), Sven-Bodo Scholz (Heriot-Watt University, Scotland), Tetsuya Takemi (Kyoto University, Japan) November 17-20, 2015

No.2015-17(Published online: Feb. 8, 2016) Big Data Visual Analytics Organizers: Seok-Hee Hong(The University of Sydney, Australia), Koji Koyamada(Kyoto University, Japan), Kwan-Liu Ma(UC Davis, USA) Nov. 8-11, 2015

No.2015-16(Published online: Feb. 9, 2016) Logic and Verification Methods in Security and Privacy Organizers: Marco Gaboardi (University of Dundee, UK), Vivek Nigam (Federal University of Paraiba, Brazil), Tachio Terauchi (JAIST, Japan) October 26-29, 2015

No.2015-15(Published online: April. 18, 2016) Mobile App Store Analytics Organizers: Meiyappan Nagappan(Rochester Institute of Technology, USA) ,  Ahmed E. Hassan(Queen’s University, Canada) , Yasutaka Kamei(Kyushu University, Japan), October 19- 22, 2015

No.2015-14(Published online: Nov. 10, 2015) Validated Numerics Meets Reachability Analysis for CPS Design Organizers: Daisuke Ishii(Tokyo Institute of Technology, Japan), Kohei Suenaga(Kyoto University, Japan) Walid Taha(Halmstad University, Sweden) September 28-October 1, 2015

No.2015-13(Published online: Jan. 7, 2016) Semantics and Verification of Object-Oriented Languages Organizers: Atsushi Igarashi (Kyoto University, Japan), Andrzej Murawski (University of Warwick, United Kingdom), Nikos Tzevelekos (Queen Mary University of London, United Kingdom)September 21-25, 2015

No.2015-12(Published online: Apr. 13, 2016) Challenges for real-time human activity recognition Organizers:  Stephan Sigg ( Aalto University, Finland),  Sozo Inoue (Kyushu Institute of Technology, Japan),  September 14-17, 2016

No. 2015-11(Published online: Dec. 2, 2015) Engineering Adaptive Software Systems (EASSy): Tetsuo Tamai(Hosei University, Japan), Hausi Muller(University of Victoria , Canada), Bashar Nuseibeh(Open University, UK) September 7-10, 2015

No.2015-10(Published online: Jan. 8, 2016) Synchronous Machine Translation Organizers: Jordan Boyd-Graber (University of Colorado Boulder, USA), Hal Daumé Iii (University of Maryland, USA), Yusuke Miyao(NII, Japan) August 3 – 6, 2015

No.2015-9(Published online: Jul. 31, 2015) Dimensionality and Scalability II: Hands-On Intrinsic Dimensionality Organizers: Dr. Laurent Amsaleg (CNRS- IRISA, France), Prof. Michael E. Houle (NII, Japan), Prof. Vincent Oria (NJIT, USA), Dr. Arthur Zimek (LMU, Germany) June 29-July 2, 2015

No.2015-7(Published online: Jun. 8, 2015) The Future of Human-Robot Spoken Dialogue: from Information Services to Virtual Assistants Organizers: Rafael E. Banchs (Institute for Infocomm Research, Singapore), Sakriani Sakti (Nara Institute of Science and Technology, Japan), Etsuo Mizukami (National Institute of Information and Communications Technology, Japan) March 26-28, 2015

No. 2015-6(Published online: Sep. 4, 2015) Instruction and instructed action: Embodied reciprocity in interaction Organizers: Prof. Lorenza Mondada (Basel University, Switzerland), Prof. Aug Nishizawa (Chiba University, Japan), Prof. Mayumi Bono (NII, Japan) March 19-21, 2015

No.2015-5(Published online: Oct. 21, 2015) Static analysis meets runtime verification Organizers: Dr. Cyrille Artho, (AIST, Japan), Prof. Einar Broch Johnsen(U. of Oslo, Norway), Prof. Martin Leucker(U. of Lubeck, Germany), Dr. Keiko Nakata,(FireEye Dresden, Germany) March 16 – 19, 2015

No.2015-4(Published online: Aug. 5, 2015) Low level code analysis and applications to computer security Organizers: Jean-Yves Marion (Lorraine University, France), Akira Mori (AIST, Japan), Mizuhito Ogawa (JAIST, Japan) March 2-5, 2015

No.2015-3(Published online: Jun. 5, 2015) Systems Resilience – Bridging the Gap Between Social and Mathematical Organizers: Hiroshi Maruyama (The Institute of Statistical Mathematics, Japan), Güenter Müller (University of Freiburg, Germany), Kazuo Furuta (The University of Tokyo, Japan) February 23-26, 2015

No.2015-2(Published online: Jul. 31, 2015) Logical analysis of descriptions and their presentations — a computational logic approach: Yoshiki Kinoshita (Kanagawa University, Japan), Bengt Nordström(Chalmers University of Technology, Sweden) January 26-29, 2015

No.2015-1(Published online: Feb. 25, 2015) Big Graph Drawing: Metrics and Methods Organizers: Takayuki Itoh (Ochanomizu University, Japan), Karsten Klein (Monash University, Australia), Giuseppe Liotta (University of Perugia, Italy) January 12-15, 2015

No.2014-16(Published online: Feb. 12, 2015) Integration of Formal Methods and Testing for Model-based Systems Engineering Organizers: Tetsuya Tohdo (DENSO CORPORATION, Japan), Werner Damm (Carl von Ossietzky Universität Oldenburg, Germany), Alexander Pretschner (Technical University of Munchen, Germany), Jun Sun (Singapore University of Technology and Design, Singapore) December 1-4, 2014

No.2014-15(Published online: Feb. 24, 2015) Towards Explanation Production Combining Natural Language Processing and Logical Reasoning Organizers: Randy Goebel (University of Alberta, Canada), Yuji Matsumoto (NAIST, Japan), Ken Satoh (NII, Japan) November 27-30, 2014

No.2014-14(Published online: Apr. 3, 2015) Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) Organizers: Fuyuki Ishikawa (National Institute of Informatics, Japan), Alexander Romanovsky (Newcastle University, UK) October 27-30, 2014

No.2014-13(Published online: Jan. 22, 2015) Computational Intelligence for Software Engineering Organizers: Hong Mei (Shanghai Jiao Tong University/ Peking University, China), Frank Neumann (The University of Adelaide, Australia), Xin Yao (The University of Birmingham, UK), Leandro Minku (The University of Birmingham, UK) October 20-23, 2014

No.2014-12(Published online: Feb. 12, 2015) Algorithms for Large Scale Graphs Organizers: Andrew McGregor (University of Massachusetts, Amherst, USA), Gopal Pandurangan (University of Houston, USA), Sergei Vassilivitskii (Google Inc. , USA) October 14-17, 2014

No.2014-11(Published online: Feb. 24, 2015) Design Methods for Secure Hardware Organizers: Kazuo Sakiyama (University of Electro‐Communications, Japan), Patrick Schaumont (Virginia Tech, US), Ingrid Verbauwhede (K.U. Leuven, Belgium) September 15-19, 2014

No.2014-10(Published online: Feb. 24, 2015) Algorithmic Randomness and Complexity Organizers: Rodney Downey (Victoria University, Wellington, New Zealand), Kenshi Miyabe (University of Tokyo, Japan), André Nies (University of Auckland, New Zealand), Osamu Watanabe (Tokyo Institute of Technology, Japan) September 8-12, 2014

No.2014-9(Published online: Feb. 24, 2015) NII Shonan School on Coq Organizers: Pierre Castéran (LaBRI, France), Jacques Garrigue (University of Nagoya, Japan), David Nowak (CNRS and Lille 1 University, France) August 25-29, 2014

No.2014-8(Published online: Mar. 2, 2015) Water Disaster Management and Big Data Organizers: Fang-Pang Lin (National Center for High-Performance Computing (NCHC), Taiwan), Philip Papadopoulos (University of California, San Diego, USA), Satoshi Sekiguchi ( National Institute of Advanced Industrial Science and Technology (AIST), Japan) July 7-10, 2014

No.2014-7(Published online: Feb. 24, 2015) Staging and high-performance computing: theory and practice Organizers: Oleg Kiselyov (Monterey, CA, USA), Jeremy Siek (Indiana University, USA), Yukiyoshi Kameyama (University of Tsukuba, Japan) May 27-30, 2014

No.2014-6(Published online: Apr. 20, 2015) Software Contracts for Communication, Monitoring, and Security Organizers: Atsushi Igarashi (Kyoto University, Japan), Peter Thiemann (University of Freiburg, Germany), Philip Wadler (University of Edinburgh, UK) May 26-30, 2014

No.2014-5(Published online: Feb. 10, 2015) Deep Learning: Theory, Algorithms, and Applications Organizers: Pierre Baldi (University of California in Irvine, USA), Kenji Fukumizu (Institute of Statistical Mathematics, Japan), Tomaso Poggio (Massachusetts Institute of Technology, USA) May 19-22, 2014

No.2014-4(Published online: Apr. 20, 2015) Knot theory: Algorithms, complexity and computation Organizers: Ryan Budney (University of Victoria, Canada), Benjamin Burton (The University of Queensland, Australia), Kazuhiro Ichihara (Nihon University, Japan) April 28-May 1, 2014

No.2014-3(Published online: Feb. 10, 2015) Grid and Cloud Security: A Confluence Organizers: Barton P. Miller (University of Wisconsin, USA), Yoshio Tanaka (AIST, Japan), Elisa Heymann (Universitat Autónoma de Barcelona, Spain) March 24-27, 2014

No.2014-2(Published online: Feb. 10, 2015) Towards the ground truth: Exact algorithms for bioinformatics research Organizers: Sebastian Böcker (Friedrich Schiller University Jena, Germany), Gunnar W. Klau (Centrum Wiskunde & Informatica (CWI), The Netherlands), Veli Mäkinen (Helsinki Institute for Information Technology (HIIT), University of Helsinki, Finland), Hon Wai Leong (National University of Singapore, Singapore) March 17-20, 2014

No.2014-1(Published online: Apr. 20, 2015) Computer Visualization–Concepts and Challenges Organizers: Arie E. Kaufman (Stony Brook University, USA), Issei Fujishiro (Keio University, Japan) March 10-13, 2014

No.2013-15(Published online: Feb. 18, 2014) Intelligent Information Processing – Chances of Crowdsourcing Organizers: Wolf-Tilo Balke (Technische Universität Braunschweig, Germany), Seung-won Hwang (POSTECH University, South Korea), Takahiro Hara (University of Osaka, Japan), Christoph Lofi (NII Tokyo, Japan) November 18-21, 2013

No.2013-14(Published online: Apr. 24, 2014) Cognitive Social Robotics: Intelligence based on Embodied Experience and Social Interaction Organizers: Tetsunari Inamura (National Institute of Informatics, Japan), Tamim Asfour (Karlsruhe Institute of Technology, Germany), Sethu Vijayakumar (The University of Edinburgh, United Kingdom) November 11-14, 2013

No.2013-13(Published online: Dec. 10, 2013) Implicit Computational Complexity and Applications: Resource Control, Security, Real-Number Computation Organizers: Akitoshi Kawamura (University of Tokyo, Japan), Jean-Yves Marion (Lorraine University, France), David Nowak (JFLI, CNRS & University of Tokyo, France & Japan) November 4-7, 2013

No.2013-12(Published online: Dec. 16, 2013) Software Analytics Principles and Practices Organizers: Ahmed E. Hassan (Queen’s University/ BlackBerry, Canada), Katsuro Inoue (Osaka University, Japan), Tao Xie (University of Illinois at Urbana-Champaign, USA), Dongmei Zhang (Microsoft Research Asia, China) October 21-25, 2013

No.2013-11(Published online: Feb. 24, 2014) Coinduction for Computation Structures and Programming Languages Organizers: Ichiro Hasuo (U. of Tokyo, Japan), Keiko Nakata (Institute of Cybernetics at TUT, Tallinn, Estonia), Tarmo Uustalu (Institute of Cybernetics at TUT, Tallinn, Estonia) October 7-10, 2013

No.2013-10(Published online: Jan. 30, 2014) Compact Data structures for Big Data Organizers: Kunihiko Sadakane (National Institute of Informatics, Japan), Wing-Kin Sung (National University of Singapore, Singapore) September 27-30, 2013

No.2013-9(Published online: Jan. 10, 2014) First International Symposium on Computer Behavioral Science Organizers: Atsushi Nakazawa (Kyoto University, Japan), James Rehg (Georgia Institute of Technology, USA), Yoichi Sato (University of Tokyo, Japan), Akihiro Sugimoto (National Institute of Informatics, Japan) September 26-28, 2013

No.2013-8(Published online: Nov. 6, 2013) Many-cores and On-chip Interconnects Organizers: Tomohiro Yoneda (National Institute of Informatics, Japan), José Flich Cardo (Escuela Técnica Superior de Informática Aplicada, Spain), Jiang Xu (The Hong Kong University of Science and Technology, Hong Kong), Michihiro Koibuchi (National Institute of Informatics, Japan) September 23-25, 2013

No.2013-7(Published online: Nov. 13, 2013) Engineering Adaptive Software Systems (EASSy) Organizers: Shinichi Honiden (National Institute of Informatics, Japan), Zhenjiang Hu (National Institute of Informatics, Japan), Hausi Müller (University of Victoria, Canada), John Mylopoulos (University of Trento, Italy), Yijun Yu (The Open University, UK) September 9-12, 2013

No.2013-6(Published online: Sep. 18, 2013) Discrete Algorithms Meet Machine Learning Organizers: Hal Daumé III (Univ. of Maryland, USA), Kevin Duh (Nara Institute of Science & Tech, Japan), Samir Khuller (Univ. of Maryland, USA) August 10-13, 2013

No.2013-5(Published online: Sep. 18, 2013) Privacy by Transparency for Data-Centric Services Organizers: Isao Echizen (National Institute of Informatics, Japan), Günter Müller (University of Freiburg, Germany), Ryoichi Sasaki (Tokyo Denki University, Japan), A Min Tjoa (Vienna University of Technology, Austria) August 6-8, 2013

No.2013-4(Published online: June 5, 2013) Dimensionality and Scalability Organizers: Michael E. Houle (National Institute of Informatics, Japan), Vincent Oria (New Jersey Institute of Technology, USA), Arthur Zimek (Ludwig-Maximilians-Universität München, Germany) May 20- 23, 2013

No.2013-3(Published online: July 4, 2013) The Java Modeling Language (JML) Organizers: Gary T. Leavens (University of Central Florida, USA), Peter H. Schmitt (Karlsruhe Institute of Technology, Germany), Jooyong Yi (National University of Singapore, Singapore) May 13- 16, 2013

No.2013-2(Published online: July 4, 2013) Parameterized Complexity and the Understanding, Design, and Analysis of Heuristics Organizers: Gregory Z. Gutin (University of London, UK), Kazuo Iwama (Kyoto University, Japan), Dimitrios M. Thilikos (University of Athens, Greece) May 6-11, 2013

No.2013-1(Published online: Mar. 22, 2013) Multi-activity in Interaction: A Multimodal Perspective on the Complaexity of Human Action Organizers: Lorenza Mondada (Basel University, Swizerland), Mayumi Bono (National Institute of Informatics, Japan), Aug Nishizaka (Meiji-Gakuin University, Japan) February 18- 20, 2013

No.2012-12(Published online: Jan. 15, 2013) Social Issues in Computational Transportation Science Organizers: Ouri Wolfson (The University of Illinois, USA), Monika Sester (Institut für Kartographie und Geoinformatik, Leibniz Universität Hannover, Germany), Stephan Winter (The University of Melbourne, Australia), Glenn Geers (NICTA, Australia), Masaaki Tanizaki (Hitachi, Ltd., Kyoto University, Japan) December 17-20, 2012

No.2012-11(Published online: Feb. 6, 2013) The NII Shonan Configurable Computing Workshop Organizers: Peter Athanas (Virginia Tech, USA), Brad Hutchings (Brigham Young University, USA), Kentaro Sano (Tohoku University, Japan) November 12-15, 2012

No.2012-10(Published online: Dec. 18, 2012) Quantitative methods in security and safety critical applications Organizers: Jin Song Dong (National University of Singapore, Singapore), Annabelle McIver (Macquarie University, Australia), Carroll Morgan (University of New South Wales, Australia) November 9-12, 2012

No.2012-9(Published online: Feb. 15, 2013) The Future of Multimedia Analysis and Mining Organizers: Nozha Boujemaa (INRIA, France), Alexander G. Hauptmann (Carnegie Mellon University, USA), Shin’ichi Satoh (National Institute of Informatics, Japan) November 3-6, 2012

No.2012-8(Published online: Dec. 18, 2012) Grid and Cloud Security: A Confluence Organizers: Barton P. Miller (University of Wisconsin, USA), Yoshio Tanaka (National Institute of Advanced Industrial Science and Technology, Japan), Elisa Heymann (Autònoma de Barcelona, Spain) October 15-18, 2012

No.2012-7(Published online: Feb. 17, 2016) Whole-Session Evaluation of Interactive Information Retrieval Systems Organizers: Nicholas J. Belkin(II (Distinguished) of Information Science, Rutgers University, Department of Library and Information Science, USA), Susan Dumais(Microsoft Research/University of Washington, USA), Noriko Kando(NII, Japan), Mark Sanderson(RMIT University, Australia) October 9-12, 2012

No.2012-6(Published online: Oct. 9, 2012) A Meeting of IT-enabled Services (ITeS) Organizers: Yu-Hui Tao (National University of Kaohsiung), Nagul Cooharojananone (Chulalongkorn University), Shiro Uesugi (Matsuyama University), Hitoshi Okada (National Institute of Informatics) July 30-August 2, 2012

No.2012-5(Published online: Jul. 12, 2012) Parallel Methods for Constraint Solving and Combinatorial Optimization Organizers: Philippe Codognet (JFLI-CNRS/UPMC/University of Tokyo), Kazunori Ueda (Waseda University), Hiroshi Hosobe (National Institute of Informatics) May 27-31, 2012

No.2012-4(Published online: Jun. 4, 2012) Bridging the theory of staged programming languages and the practice of high-performance computing Organizers: Oleg Kiselyov (Monterey, USA), Chung-chieh Shan (Cornell University), Yukiyoshi Kameyama (University of Tsukuba) May 19-22, 2012

No.2012-3(Published online: Jul. 19, 2012) Engineering Autonomic Systems (EASy) Organizers: Arosha Bandara (The Open University, U.K), Shinichi Honiden (NII, Japan), Yijun Yu (The Open University, U.K.) May 14-17, 2012

No.2012-2(Published online: Jun. 4, 2012) Hybrid Systems: Theory and Practice, Seriously Organizers: Ichiro Hasuo (University of Tokyo), Takuro Kutsuna (Toyota Central R & D Labs.), Toshimitsu Ushio (Osaka University) April 23-26, 2012

No.2012-1(Published online: Feb. 8, 2012) Large-Scale Distributed Computation Organizers: Graham Cormode (AT&T Labs), S. Muthukrishnan (Rutgers, the State University of New Jersey), Ke Yi (HKUST) January 11-15, 2012

No. 2011-7(Published online: Dec. 14, 2011) International Symposium on Symbolic Systems Biology Organizers: Katsuhisa Horimoto (Institute of Advanced Industrial Science and Technology), Katsumi Inoue (National Institute of Informatics), Oliver Ray (University of Bristol) November 14-17, 2011

No. 2011-6(Published online: April. 10, 2012) Hybrid Quantum Devices Organizers: Gerard Milburn (UQ), Jörg Schmiedmayer (TU-Wien), Yasuhiro Tokura, (NTT), Kae Nemoto, (NII) November 5-9, 2011

No. 2011-5(Published online: Nov. 22, 2011) Automated Techniques for Higher-Order Program Verification Organizers: Naoki Kobayashi (Tohoku University), Luke Ong (University of Oxford), David Van Horn (Northeastern University) September 23-26, 2011

No. 2011-4(Published online: Nov. 22, 2011) Knowledge-leveraged Computational Thinking through Natural Language Processing and Statistical Logic Organizers: Sadao Kurohashi (Kyoto University), Akihiro Yamamoto (Kyoto University), Kentaro Inui (Tohoku University), Sebastian Riedel (University of Massachusetts Amherst) September 18-21, 2011

No. 2011-3(Published online: Dec. 22, 2011) Dependently Typed Programming Organizers: Shin-Cheng Mu (Academia Sinica), Conor McBride (University of Strathclyde), Stephanie Weirich (University of Pennsylvania) September 14-17, 2011

No. 2011-2(Published online: Jan. 25, 2012) Agda Implementors Meeting Organizers: Peter Dybjer (Chalmers University of Technology), Yoshiki Kinoshita (AIST), Shin-Cheng Mu (Academia Sinica) September 7-14, 2011

No. 2011-1 (Published online: Sept. 30, 2011) Graph Algorithm and Combinatorial Optimization Organizers: Satoru Iwata (RIMS, Kyoto University), Ken-ichi Kawarabayashi (NII) February 13-18, 2011