The Java Modeling Language (JML)
NII Shonan Meeting:
@ Shonan Village Center, May 13-16, 2013
Read MoreParameterized Complexity and the Understanding, Design and Analysis of Heuristics
NII Shonan Meeting:
@ Shonan Village Center, May 6-11, 2013
Read MoreSocial Issues in Computational Transporation Science
NII Shonan Meeting:
@ Shonan Village Center, December 17-20, 2012
Read MoreNII Shonan Configurable Computing Workshop
NII Shonan Meeting:
@ Shonan Village Center, November 12-15, 2012
Read More
Quantitative methods in security and safety critical applications
NII Shonan Meeting:
@ Shonan Village Center, November 9-12, 2012
Read MoreThe Future of Multimedia Analysis and Mining
NII Shonan Meeting:
@ Shonan Village Center, Nov. 3-6, 2012
Read MoreWhole-Session Evaluation of Interactive Information Retrieval Systems
NII Shonan Meeting:
@ Shonan Village Center, October 9-12, 2012
Read More
A meeting of IT-enable Services (ITeS)
NII Shonan Meeting:
@ Shonan Village Center, July 30-August 2, 2012
Read More
Parallel Methods for Constraint Solving and Combinatorial Optimization
NII Shonan Meeting:
@ Shonan Village Center, May. 28-31, 2012
Read More
Bridging the theory of staged programming languages and the practice of high-performance computing
NII Shonan Meeting:
@ Shonan Village Center, May 19-22, 2012
Read MoreEngineering Autonomic Systems (EASy)
NII Shonan Meeting:
@ Shonan Village Center, May. 15-17, 2012
Read MoreHybrid Systems: Theory and Practice, Seriously
NII Shonan Meeting:
@ Shonan Village Center, April 23-26, 2012
Read MoreLarge-scale Distributed Computation
NII Shonan Meeting:
@ Shonan Village Center, Jan. 11-15, 2012
Read More
Probabilistic approaches to the understanding of inference and learning in the cerebral cortex
NII Shonan Meeting:
@ Shonan Village Center, Dec. 4-8, 2011 CANCELLED
Read More
International Symposium on Symbolic Systems Biology (ISSSB’11)
NII Shonan Meeting:
@ Shonan Village Center, Nov. 14-17, 2011
Read More
Automated Techniques for Higher-Order Program Verification
NII Shonan Meeting:
@ Shonan Village Center, Sep. 23-26, 2011
Read More
Knowledge-leveraged Computational Thinking through Natural Language Processing and Statistical Logic
NII Shonan Meeting:
@ Shonan Village Center, Sep. 18-21, 2011
Read More
Dependently Typed Programming
NII Shonan Meeting:
@ Shonan Village Center, Sep. 14-17, 2011(Check-in: the night before)
Read More
The 14th Agda Implementors Meeting
NII Shonan Meeting:
@ Shonan Village Center, Sep. 7-14, 2011

