First International Workshop, MMAS 2004, Kyoto, Japan, December 10-11, 2004, Revised Selected and Invited Papers

19th International Conference, IPMI 2005, Glenwood Springs, CO, USA, July 10-15, 2005, Proceedings

17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

6th International Workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and International Workshop, GIAE 2004, Xian, China, May 24-28, 2004.Revised Selected Papers

18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings

First IEEE International Conference, DCOSS 2005, Marina del Rey, CA, USA, June 30-July 1, 2005, Proceedings

International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers

Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings

12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings