Future Internet Forum

The "Future Internet Forum" aims to provide an opportunity to review the forefront information and knowledge on the timely subject of new Internet architecture and related issues. A direction for the future R&D in Internet is expected to be shaped as a result of the presentations and discussion among the experts.

http://www.fif.kr/

http://www.asiafi.net/

Certified Programming with Dependent Types

By Adam Chlipala,
http://adam.chlipala.net/cpdt/

This is the web site for an in-progress textbook about practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation.