The Java Modeling Language (JML)

Posted by admin on Apr 27, 2012 in Seminars | 0 comments

NII Shonan Meeting:

@ Shonan Village Center, May 13-16, 2013

Read More

Parameterized Complexity and the Understanding, Design and Analysis of Heuristics

Posted by admin on Apr 26, 2012 in Seminars | 0 comments

NII Shonan Meeting:

@ Shonan Village Center, May 6-11, 2013

Read More

Social Issues in Computational Transporation Science

Posted by kokusai on Mar 23, 2012 in Seminars | 0 comments

NII Shonan Meeting:

@ Shonan Village Center, December 17-20, 2012

Read More

NII Shonan Configurable Computing Workshop

Posted by kokusai on Mar 9, 2012 in Seminars | 0 comments

NII Shonan Meeting:

@ Shonan Village Center, November 12-15, 2012

Read More

Quantitative methods in security and safety critical applications

Posted by admin on Mar 8, 2012 in Seminars | 0 comments

NII Shonan Meeting:

@ Shonan Village Center, November 9-12, 2012

Read More

The Future of Multimedia Analysis and Mining

Posted by admin on Mar 7, 2012 in Seminars | 0 comments

NII Shonan Meeting:

@ Shonan Village Center, Nov. 3-6, 2012

Read More

Whole-Session Evaluation of Interactive Information Retrieval Systems

Posted by kokusai on Mar 6, 2012 in Seminars | 0 comments

NII Shonan Meeting:

@ Shonan Village Center, October 9-12, 2012

Read More

A meeting of IT-enable Services (ITeS)

Posted by kokusai on Feb 2, 2012 in Seminars | 0 comments

NII Shonan Meeting:

@ Shonan Village Center, July  30-August 2, 2012

Read More

Parallel Methods for Constraint Solving and Combinatorial Optimization

Posted by kokusai on Feb 1, 2012 in Seminars | 0 comments

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

Posted by kokusai on Dec 17, 2011 in Seminars | 0 comments

NII Shonan Meeting:

@ Shonan Village Center, May 19-22, 2012

Read More

Engineering Autonomic Systems (EASy)

Posted by admin on Dec 16, 2011 in Seminars | 1 comment

NII Shonan Meeting:

@ Shonan Village Center, May. 15-17, 2012

Read More

Hybrid Systems: Theory and Practice, Seriously

Posted by kokusai on Dec 15, 2011 in Feature, Seminars | 1 comment

NII Shonan Meeting:

@ Shonan Village Center, April 23-26, 2012

Read More

Large-scale Distributed Computation

Posted by admin on Apr 11, 2011 in Seminars | 0 comments

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

Posted by admin on Mar 22, 2011 in Seminars | 1 comment

NII Shonan Meeting:

@ Shonan Village Center, Dec. 4-8, 2011 CANCELLED

Read More

International Symposium on Symbolic Systems Biology (ISSSB’11)

Posted by admin on Mar 21, 2011 in Seminars | 0 comments

NII Shonan Meeting:

@ Shonan Village Center, Nov. 14-17, 2011

Read More

Hybrid Quantum Devices

Posted by admin on Mar 20, 2011 in Seminars | 0 comments

NII Shonan Meeting:

@ Shonan Village Center, Nov. 5-9, 2011

Read More

Automated Techniques for Higher-Order Program Verification

Posted by admin on Mar 19, 2011 in Seminars | 14 comments

NII Shonan Meeting:

@ Shonan Village Center, Sep. 23-26, 2011

Read More

Knowledge-leveraged Computational Thinking through Natural Language Processing and Statistical Logic

Posted by admin on Mar 18, 2011 in Seminars | 8 comments

NII Shonan Meeting:

@ Shonan Village Center, Sep. 18-21, 2011

Read More

Dependently Typed Programming

Posted by admin on Mar 17, 2011 in Seminars | 7 comments

NII Shonan Meeting:

@ Shonan Village Center, Sep. 14-17, 2011(Check-in: the night before)

Read More

The 14th Agda Implementors Meeting

Posted by admin on Mar 16, 2011 in Seminars | 3 comments

NII Shonan Meeting:

@ Shonan Village Center, Sep. ７-１４, 2011

Read More