2012

29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012) Volume 14, STACS 2012, February 29th - March 3rd, 2012, Paris, France Christoph Dürr and Thomas Wilke (Eds.)

2011

IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2011) Volume 13, FSTTCS 2011, December 12–14, 2011, Mumbai, India Supratik Chakraborty and Amit Kumar (Eds.)

Computer Science Logic (CSL'11) - 25th International Workshop/20th Annual Conference of the EACSL Volume 12, CSL 2011, September 12–15, 2011, Bergen, Norway Marc Bezem (Ed.)

Technical Communications of the 27th International Conference on Logic Programming (ICLP'11) Volume 11, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA John P. Gallagher and Michael Gelfond (Eds.)

22nd International Conference on Rewriting Techniques and Applications (RTA'11) Volume 10, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia Manfred Schmidt-Schauß (Ed.)

28th International Symposium on Theoretical Aspects of Computer Science (STACS 2011) Volume 9, STACS 2011, March 10-12, 2011, Dortmund, Germany Thomas Schwentick and Christoph Dürr (Eds.)

2010

IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010) Volume 8, FSTTCS 2010, December 15-18, 2010, Chennai, India Kamal Lodaya and Meena Mahajan (Eds.)

Technical Communications of the 26th International Conference on Logic Programming Volume 7, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK Manuel Hermenegildo and Torsten Schaub (Eds.)

Proceedings of the 21st International Conference on Rewriting Techniques and Applications Volume 6, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK Christopher Lynch (Ed.)

27th International Symposium on Theoretical Aspects of Computer Science Volume 5, STACS 2010, March 4-6, 2010, Nancy, France Jean-Yves Marion and Thomas Schwentick (Eds.)

2009

IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science Volume 4, FSTTCS 2009, December 15-17, 2009, Kanpur, India Ravi Kannan and K. Narayan Kumar (Eds.)

26th International Symposium on Theoretical Aspects of Computer Science Volume 3, STACS 2009, February 26-28, 2009, Freiburg, Germany Susanne Albers and Jean-Yves Marion (Eds.)

2008

IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science Volume 2, FSTTCS 2008, December 9-11, 2008, Bangalore, India Ramesh Hariharan and Madhavan Mukund and V Vinay (Eds.)

25th International Symposium on Theoretical Aspects of Computer Science Volume 1, STACS 2008, February 21-23, 2008, Bordeaux, France Susanne Albers and Pascal Weil (Eds.)