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 MoreQuantitative 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 MoreEngineering Autonomic Systems (EASy)
NII Shonan Meeting:
@ Shonan Village Center, May. 15-17, 2012
Read MoreCo-organized seminar with NTT-BRL
NII Shonan Meeting will be co-organized with NTT Basic Research
Laboratories at the seminar entitled “Hybrid Quantum Devices” in
November 2011.
NII Shonan Meetings are anytime welcoming joint hosting with industrial
companies in our seminars.
Read MoreStatus after the earthquake
Power supply is now stable, while efforts are made to conserve energy.
Detail can be found here: http://www.tepco.co.jp/en/index-e.html
Airport: Both Narita Airport and Haneda Airport are fully operational.
Narita http://www.narita-airport.jp/en/index.html
Haneda http://www.tokyo-airport-bldg.co.jp/en/information/
See the government summary page: Japanese Air Transport after the
2011 Tohoku – Pacific Ocean Earthquake.
http://www.mlit.go.jp/koku/flyjapan_en/index.html
Train service: Operating regularly. Currently, the service is operating at 80% of the usual capacity to save energy; see e.g. here.
Radioactivity information
Shonan Village Center is 270 km away from Fukushima Daiichi Power Plant. Reading of environmental and drinking water radioactivity level at Kanagawa prefecture are within the range of past usual figures.
Call for proposal!
We are constantly accepting your proposal to NII Shonan Meetings.
Next due date is December 15th, 2011.
Please refer to our web page for details.:
http://www.nii.ac.jp/shonan/proposal-submissions/
Read MoreNII Shonan Meeting has restarted!
After 3 months of “East Japan Earthquake”, we, NII Shonan Meeting will
restart our seminars from forthcoming September!
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. ７-１４, 2011
Read More
NII Shonan Meeting Leaflet
You can now access information about NII Shonan Meeting on our website.
Leaflet is available at PDF style.
Read MoreReliable Software System Design and Verification
NII Shonan Meeting:
@ Shonan Village Center, May. 19-20, 2011 SUSPENDED
Read MoreStarting NII Shonan Meeting
The National Institute of Informatics (NII) has thrived in the midst of the changes brought about by the IT boom. The field of informatics is at present exploding with new theories, methodologies, and applications. The potential benefits to society from informatics are enormous, and we must do our best to make them a reality.
We set up the NII Shonan Meetings,
Read More