Leibniz International Proceedings in Informatics ISSN 1868-8969



2014

34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)
Volume 29, FSTTCS 2014, December 15-17, 2014 - New Delhi, India
Venkatesh Raman and S. P. Suresh (Eds.)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2014)
Volume 28, APPROX/RANDOM 2014, September 4-6, 2014 - Barcelona, Spain
Klaus Jansen and José D. P. Rolim and Nikhil R. Devanur and Cristopher Moore (Eds.)

9th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2014)
Volume 27, TQC 2014, May 21-23, 2014 - Singapore
Steven T. Flammia and Aram W. Harrow (Eds.)

19th International Conference on Types for Proofs and Programs (TYPES 2013)
Volume 26, TYPES 2013, April 22–26, 2013 - Toulouse, France
Ralph Matthes and Aleksy Schubert (Eds.)

31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014)
Volume 25, STACS 2014, March 5-8, 2014, Lyon, France
Ernst W. Mayr and Natacha Portier (Eds.)

2013

IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2013)
Volume 24, FSTTCS 2013, December 12-14, 2013, Guwahati, India
Anil Seth and Nisheeth K. Vishnoi (Eds.)

Computer Science Logic 2013 (CSL 2013)
Volume 23, CSL 2013, September 2–5, 2013, Torino, Italy
Simona Ronchi Della Rocca (Ed.)

8th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2013)
Volume 22, TQC 2013, May 21-23, 2013, Guelph, Canada
Simone Severini and Fernando Brandao (Eds.)

24th International Conference on Rewriting Techniques and Applications (RTA 2013)
Volume 21, RTA 2013, June 24-26, 2013, Eindhoven, The Netherlands
Femke van Raamsdonk (Ed.)

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



More about LIPIcs