Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings

Computational Science and Its Applications – ICCSA 2009 International Conference, Seoul, Korea, June 29-July 2, 2009, Proceedings, Part I

Computational Logic in Multi-Agent Systems 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings

Computer Science - Theory and Applications Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings

Recent Trends in Algebraic Development Techniques 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

CONCUR 2009 - Concurrency Theory 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings

Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings

Parameterized and Exact Computation 4th International Workshop, IWPEC 2009, Copenhagen, Denmark, September 10-11, 2009, Revised Selected Papers

Computable Models