Reports
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.2013-1(Published online: Mar. 22, 2013)
Multi-activity in interaction: a multimodal perspective on the complexity of human action
Organizers: Lorenza Mondada (Basel University, Swizerland), Mayumi Bono (National Institute of Informatics, Japan), Aug Nishizaka (Meiji-Gakuin University, Japan)
Feb. 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)
Dec. 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)
Nov. 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)
Nov. 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)
Nov. 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)
Oct. 15- 18, 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)
Apr. 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)
Jan. 11-15, 2012
No. 2011-7(Published online: Dec. 14, 2011)
International Symposium on Symbolic Systems Biology (ISSSB’11)
Organizers: Katsuhisa Horimoto (Institute of Advanced Industrial Science and Technology), Katsumi Inoue (National Institute of Informatics), Oliver Ray (University of Bristol)
Nov. 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)
Nov. 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)
Sept. 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)
Sept. 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)
Sept. 14-17, 2011
No. 2011-2(Published online: Jan. 25, 2012)
The 14th Agda Implementors Meeting
Organizers: Peter Dybjer (Chalmers University of Technology), Yoshiki Kinoshita (AIST), Shin-Cheng Mu (Academia Sinica)
Sept. 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)
Feb.13-18, 2011
