Leibniz International Proceedings in Informatics

Simona Ronchi Della Rocca (Ed.): Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2013 ISBN 978-3-939897-60-6 [ contents ]

Femke van Raamsdonk (Ed.): 24th International Conference on Rewriting Techniques and Applications (RTA 2013), RTA 2013, June 24-26, 2013, Eindhoven, The Netherlands. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2013 ISBN 978-3-939897-53-8 [ contents ]

Natacha Portier, Thomas Wilke (Eds.): 30th International Symposium on Theoretical Aspects of Computer Science, STACS 2013, February 27 - March 2, 2013, Kiel, Germany. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2013 ISBN 978-3-939897-50-7 [ contents ]

Nils Anders Danielsson, Bengt Nordström (Eds.): 18th International Workshop on Types for Proofs and Programs, TYPES 2011, September 8-11, 2011, Bergen, Norway. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2013 ISBN 978-3-939897-49-1 [ contents ]

Deepak D'Souza, Telikepalli Kavitha, Jaikumar Radhakrishnan (Eds.): IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012 ISBN 978-3-939897-47-7 [ contents ]

Agostino Dovier, Vítor Santos Costa (Eds.): Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012 ISBN 978-3-939897-43-9 [ contents ]

Patrick Cégielski, Arnaud Durand (Eds.): Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012 ISBN 978-3-939897-42-2 [ contents ]

Ashish Tiwari (Ed.): 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012 ISBN 978-3-939897-38-5 [ contents ]

Christoph Dürr, Thomas Wilke (Eds.): 29th International Symposium on Theoretical Aspects of Computer Science, STACS 2012, February 29th - March 3rd, 2012, Paris, France. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012 ISBN 978-3-939897-35-4 [ contents ]

Supratik Chakraborty, Amit Kumar (Eds.): IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011, December 12-14, 2011, Mumbai, India. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011 ISBN 978-3-939897-34-7 [ contents ]

Marc Bezem (Ed.): Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011 ISBN 978-3-939897-32-3 [ contents ]

John P. Gallagher, Michael Gelfond (Eds.): Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011 ISBN 978-3-939897-31-6 [ contents ]

Manfred Schmidt-Schauß (Ed.): Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011 ISBN 978-3-939897-30-9 [ contents ]

Thomas Schwentick, Christoph Dürr (Eds.): 28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, March 10-12, 2011, Dortmund, Germany. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011 ISBN 978-3-939897-25-5 [ contents ]

Kamal Lodaya, Meena Mahajan (Eds.): IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2010 ISBN 978-3-939897-23-1 [ contents ]

Manuel V. Hermenegildo, Torsten Schaub (Eds.): Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2010 ISBN 978-3-939897-17-0 [ contents ]

Christopher Lynch (Ed.): Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2010 ISBN 978-3-939897-18-7 [ contents ]

Jean-Yves Marion, Thomas Schwentick (Eds.): 27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, March 4-6, 2010, Nancy, France. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2010 ISBN 978-3-939897-16-3 [ contents ]

Ravi Kannan, K. Narayan Kumar (Eds.): IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2009 ISBN 978-3-939897-13-2 [ contents ]

Susanne Albers, Jean-Yves Marion (Eds.): 26th International Symposium on Theoretical Aspects of Computer Science, STACS 2009, February 26-28, 2009, Freiburg, Germany, Proceedings. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2009 ISBN 978-3-939897-09-5 [ contents ]

Ramesh Hariharan, Madhavan Mukund, V. Vinay (Eds.): IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2008 [ contents ]

Susanne Albers, Pascal Weil (Eds.): STACS 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2008 [ contents ]