19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings

8th International Workshop on Approximation Algorithms for Compinatorial Optimization Problems, APPROX 2005 and 9th International Workshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005, Proceedings

9th International Workshop, WADS 2005, Waterloo, Canada, August 15-17, 2005, Proceedings

25th Annual International Cryptology Conference, Santa Barbara, California, USA, August 14-18, 2005, Proceedings

8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers

19th Annual IFIP WG 11.3 Working Conference on Data and Applications Security, Storrs, CT, USA, August 7-10, 2005, Proceedings

17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers

6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings

20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings