10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings

International Workshops, IWLCS 2003-2005, Revised Selected Papers

Third International Conference on Computer Vision/Computer Graphics, MIRAGE 2007, Rocquencourt, France, March 28-30, 2007, Proceedings

20th International Conference, Zurich, Switzerland, March 12-15, 2007, Proceedings

First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007, Proceedings

11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected

4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007, Proceedings

First International Workshop, KDECB 2006, Ghent, Belgium, May 10, 2006, Revised Selected Papers

Visual Information Expert Workshop, VIEW 2006, Paris, France, April 24-25, 2006, Revised Selected Papers

6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006, Revised Papers