ICCV 2005 and ECCV 2006 Workshops, WDV 2005 and WDV 2006, Beijing, China, October 21, 2005, Graz, Austria, May 13, 2006, Revised Papers

JSAI 2006 Conference andWorkshops

4th European Conference, EWSN 2007, Delft, The Netherlands, January 29-31, 2007, Proceedings

Foreword by K. Rustan M. Leino

16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers

Third European Workshop, ESAS 2006, Hamburg, Germany, September 20-21, 2006, Revised Selected Papers

The Cryptographers' Track at the RSA Conference 2007, San Fancisco, CA, USA, February 5-9, 2007, Proceedings

7th International Workshop, WMC 2006, Leiden, Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers

First International Workshop, VDMB 2006, Seoul, Korea, September 11, 2006, Revised Selected Papers