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. 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
