2013

30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013) Volume 20, STACS 2013, February 27 - March 2, 2013, Kiel, Germany Natacha Portier and Thomas Wilke (Eds.)

18th International Workshop on Types for Proofs and Programs (TYPES 2011) Volume 19, TYPES 2011, September 8-11, 2011, Bergen, Norway Nils Anders Danielsson and Bengt Nordström (Eds.)

2012

IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012) Volume 18, FSTTCS 2012, December 15-17, 2012 Hyderabad, India Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan (Eds.)

Technical Communications of the 28th International Conference on Logic Programming (ICLP'12) Volume 17, ICLP 2012, September 4-8, 2012, Budapest, Hungary Agostino Dovier and Vítor Santos Costa (Eds.)

Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL Volume 16, CSL 2012, September 3-6, 2012, Fontainebleau, France Patrick Cégielski and Arnaud Durand (Eds.)

23rd International Conference on Rewriting Techniques and Applications (RTA'12) Volume 15, RTA 2012, May 28 - June 2, 2012, Nagoya, Japan Ashish Tiwari (Ed.)

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.)