Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarLeibniz International Proceedings in Informatics
- LIPIcs Home Page @ Schloss Dagstuhl - Leibniz Center for Informatics
- LIPIcs Volumes
- ... more Dagstuhl publications on DBLP
111Stacey Jeffery:
13th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2018, July 16-18, 2018, Sydney, Australia. LIPIcs 111, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-080-4 [contents]- 110James Allen Fill, Mark Daniel Ward:
29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, AofA 2018, June 25-29, 2018, Uppsala, Sweden. LIPIcs 110, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-078-1 [contents] - 109Todd D. Millstein:
32nd European Conference on Object-Oriented Programming, ECOOP 2018, July 16-21, 2018, Amsterdam, The Netherlands. LIPIcs 109, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-079-8 [contents] - 108Hélène Kirchner:
3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK. LIPIcs 108, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-077-4 [contents] - 107Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx, Donald Sannella:
45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, July 9-13, 2018, Prague, Czech Republic. LIPIcs 107, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-076-7 [contents] - 106Sebastian Altmeyer:
30th Euromicro Conference on Real-Time Systems, ECRTS 2018, July 3-6, 2018, Barcelona, Spain. LIPIcs 106, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-075-0 [contents] - 105Gonzalo Navarro, David Sankoff, Binhai Zhu:
Annual Symposium on Combinatorial Pattern Matching, CPM 2018, July 2-4, 2018 - Qingdao, China. LIPIcs 105, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-074-3 [contents] - 104….
- 103Gianlorenzo D'Angelo:
17th International Symposium on Experimental Algorithms, SEA 2018, June 27-29, 2018, L'Aquila, Italy. LIPIcs 103, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-070-5 [contents] - 102Rocco A. Servedio:
33rd Computational Complexity Conference, CCC 2018, June 22-24, 2018, San Diego, CA, USA. LIPIcs 102, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-069-9 [contents] - 101David Eppstein:
16th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2018, June 18-20, 2018, Malmö, Sweden. LIPIcs 101, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-068-2 [contents] - 100Hiro Ito, Stefano Leonardi, Linda Pagli, Giuseppe Prencipe:
9th International Conference on Fun with Algorithms, FUN 2018, June 13-15, 2018, La Maddalena, Italy. LIPIcs 100, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-067-5 [contents] - 99Bettina Speckmann, Csaba D. Tóth:
34th International Symposium on Computational Geometry, SoCG 2018, June 11-14, 2018, Budapest, Hungary. LIPIcs 99, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-066-8 [contents] - 98Benny Kimelfeld, Yael Amsterdamer:
21st International Conference on Database Theory, ICDT 2018, March 26-29, 2018, Vienna, Austria. LIPIcs 98, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-063-7 [contents] - 97….
- 96Rolf Niedermeier, Brigitte Vallée:
35th Symposium on Theoretical Aspects of Computer Science, STACS 2018, February 28 to March 3, 2018, Caen, France. LIPIcs 96, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-062-0 [contents] - 95James Aspnes, Alysson Bessani, Pascal Felber, João Leitão:
21st International Conference on Principles of Distributed Systems, OPODIS 2017, Lisbon, Portugal, December 18-20, 2017. LIPIcs 95, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-061-3 [contents] - 94Anna R. Karlin:
9th Innovations in Theoretical Computer Science Conference, ITCS 2018, January 11-14, 2018, Cambridge, MA, USA. LIPIcs 94, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-060-6 [contents] - 93Satya V. Lokam, R. Ramanujam:
37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India. LIPIcs 93, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-055-2 [contents] - 92Yoshio Okamoto, Takeshi Tokuyama:
28th International Symposium on Algorithms and Computation, ISAAC 2017, December 9-12, 2017, Phuket, Thailand. LIPIcs 92, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-054-5 [contents] - 91Andréa W. Richa:
31st International Symposium on Distributed Computing, DISC 2017, October 16-20, 2017, Vienna, Austria. LIPIcs 91, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-053-8 [contents] - 90Sven Schewe, Thomas Schneider, Jef Wijsen:
24th International Symposium on Temporal Representation and Reasoning, TIME 2017, October 16-18, 2017, Mons, Belgium. LIPIcs 90, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-052-1 [contents] - 89Daniel Lokshtanov, Naomi Nishimura:
12th International Symposium on Parameterized and Exact Computation, IPEC 2017, September 6-8, 2017, Vienna, Austria. LIPIcs 89, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-051-4 [contents] - 88Russell Schwartz, Knut Reinert:
17th International Workshop on Algorithms in Bioinformatics, WABI 2017, August 21-23, 2017, Boston, MA, USA. LIPIcs 88, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-050-7 [contents] - 87Kirk Pruhs, Christian Sohler:
25th Annual European Symposium on Algorithms, ESA 2017, September 4-6, 2017, Vienna, Austria. LIPIcs 87, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-049-1 [contents] - 86Eliseo Clementini, Maureen Donnelly, May Yuan, Christian Kray, Paolo Fogliaroni, Andrea Ballatore:
13th International Conference on Spatial Information Theory, COSIT 2017, September 4-8, 2017, L'Aquila, Italy. LIPIcs 86, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-043-9 [contents] - 85Roland Meyer, Uwe Nestmann:
28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany. LIPIcs 85, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-048-4 [contents] - 84Dale Miller:
2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, September 3-9, 2017, Oxford, UK. LIPIcs 84, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-047-7 [contents] - 83Kim G. Larsen, Hans L. Bodlaender, Jean-François Raskin:
42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark. LIPIcs 83, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-046-0 [contents] - 82Valentin Goranko, Mads Dam:
26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden. LIPIcs 82, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-045-3 [contents] - 81Klaus Jansen, José D. P. Rolim, David Williamson, Santosh Srinivas Vempala:
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2017, August 16-18, 2017, Berkeley, CA, USA. LIPIcs 81, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-044-6 [contents] - 80Ioannis Chatzigiannakis, Piotr Indyk, Fabian Kuhn, Anca Muscholl:
44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland. LIPIcs 80, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-041-5 [contents] - 79Ryan O'Donnell:
32nd Computational Complexity Conference, CCC 2017, July 6-9, 2017, Riga, Latvia. LIPIcs 79, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-040-8 [contents] - 78Juha Kärkkäinen, Jakub Radoszewski, Wojciech Rytter:
28th Annual Symposium on Combinatorial Pattern Matching, CPM 2017, July 4-6, 2017, Warsaw, Poland. LIPIcs 78, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-039-2 [contents] - 77Boris Aronov, Matthew J. Katz:
33rd International Symposium on Computational Geometry, SoCG 2017, July 4-7, 2017, Brisbane, Australia. LIPIcs 77, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-038-5 [contents] - 76Marko Bertogna:
29th Euromicro Conference on Real-Time Systems, ECRTS 2017, June 27-30, 2017, Dubrovnik, Croatia. LIPIcs 76, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-037-8 [contents] - 75Costas S. Iliopoulos, Solon P. Pissis, Simon J. Puglisi, Rajeev Raman:
16th International Symposium on Experimental Algorithms, SEA 2017, June 21-23, 2017, London, UK. LIPIcs 75, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-036-1 [contents] - 74Peter Müller:
31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain. LIPIcs 74, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-035-4 [contents] - 73Mark M. Wilde:
12th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2017, June 14-16, 2017, Paris, France. LIPIcs 73, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-034-7 [contents] - 72Filippo Bonchi, Barbara König:
7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia. LIPIcs 72, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-033-0 [contents] - 71Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi:
2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA. LIPIcs 71, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-032-3 [contents] - 70Panagiota Fatourou, Ernesto Jiménez, Fernando Pedone:
20th International Conference on Principles of Distributed Systems, OPODIS 2016, December 13-16, 2016, Madrid, Spain. LIPIcs 70, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-031-6 [contents] - 69Tarmo Uustalu:
21st International Conference on Types for Proofs and Programs, TYPES 2015, May 18-21, 2015, Tallinn, Estonia. LIPIcs 69, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2018, ISBN 978-3-95977-030-9 [contents] - 68Michael Benedikt, Giorgio Orsi:
20th International Conference on Database Theory, ICDT 2017, March 21-24, 2017, Venice, Italy. LIPIcs 68, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-024-8 [contents] - 67Christos H. Papadimitriou:
8th Innovations in Theoretical Computer Science Conference, ITCS 2017, January 9-11, 2017, Berkeley, CA, USA. LIPIcs 67, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-029-3 [contents] - 66Heribert Vollmer, Brigitte Vallée:
34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, March 8-11, 2017, Hannover, Germany. LIPIcs 66, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-028-6 [contents] - 65Akash Lal, S. Akshay, Saket Saurabh, Sandeep Sen:
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, December 13-15, 2016, Chennai, India. LIPIcs 65, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2016, ISBN 978-3-95977-027-9 [contents] - 64Seok-Hee Hong:
27th International Symposium on Algorithms and Computation, ISAAC 2016, December 12-14, 2016, Sydney, Australia. LIPIcs 64, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2016, ISBN 978-3-95977-026-2 [contents] - 63Jiong Guo, Danny Hermelin:
11th International Symposium on Parameterized and Exact Computation, IPEC 2016, August 24-26, 2016, Aarhus, Denmark. LIPIcs 63, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2017, ISBN 978-3-95977-023-1 [contents] - 62Jean-Marc Talbot, Laurent Regnier:
25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France. LIPIcs 62, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2016, ISBN 978-3-95977-022-4 [contents] - 61Anne Broadbent:
11th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2016, September 27-29, 2016, Berlin, Germany. LIPIcs 61, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2016, ISBN 978-3-95977-019-4 [contents] - 60Klaus Jansen, Claire Mathieu, José D. P. Rolim, Chris Umans:
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2016, September 7-9, 2016, Paris, France. LIPIcs 60, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2016, ISBN 978-3-95977-018-7 [contents] - 59Josée Desharnais, Radha Jagadeesan:
27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada. LIPIcs 59, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2016, ISBN 978-3-95977-017-0 [contents] - 58Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier:
41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, 2016 - Kraków, Poland. LIPIcs 58, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2016, ISBN 978-3-95977-016-3 [contents] - 57Piotr Sankowski, Christos D. Zaroliagis:
24th Annual European Symposium on Algorithms, ESA 2016, August 22-24, 2016, Aarhus, Denmark. LIPIcs 57, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2016, ISBN 978-3-95977-015-6 [contents] - 56Shriram Krishnamurthi, Benjamin S. Lerner:
30th European Conference on Object-Oriented Programming, ECOOP 2016, July 18-22, 2016, Rome, Italy. LIPIcs 56, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2016, ISBN 978-3-95977-014-9 [contents] - 55Ioannis Chatzigiannakis, Michael Mitzenmacher, Yuval Rabani, Davide Sangiorgi:
43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, July 11-15, 2016, Rome, Italy. LIPIcs 55, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2016, ISBN 978-3-95977-013-2 [contents] - 54Roberto Grossi, Moshe Lewenstein:
27th Annual Symposium on Combinatorial Pattern Matching, CPM 2016, June 27-29, 2016, Tel Aviv, Israel. LIPIcs 54, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2016, ISBN 978-3-95977-012-5 [contents] - 53Rasmus Pagh:
15th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2016, June 22-24, 2016, Reykjavik, Iceland. LIPIcs 53, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2016, ISBN 978-3-95977-011-8 [contents] - 52Delia Kesner, Brigitte Pientka:
1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, June 22-26, 2016, Porto, Portugal. LIPIcs 52, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2016, ISBN 978-3-95977-010-1 [contents] - 51Sándor P. Fekete, Anna Lubiw:
32nd International Symposium on Computational Geometry, SoCG 2016, June 14-18, 2016, Boston, MA, USA. LIPIcs 51, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2016, ISBN 978-3-95977-009-5 [contents] - 50Ran Raz:
31st Conference on Computational Complexity, CCC 2016, May 29 to June 1, 2016, Tokyo, Japan. LIPIcs 50, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2016, ISBN 978-3-95977-008-8 [contents] - 49Erik D. Demaine, Fabrizio Grandoni:
8th International Conference on Fun with Algorithms, FUN 2016, June 8-10, 2016, La Maddalena, Italy. LIPIcs 49, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2016, ISBN 978-3-95977-005-7 [contents] - 48Wim Martens, Thomas Zeume:
19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016. LIPIcs 48, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2016, ISBN 978-3-95977-002-6 [contents] - 47Nicolas Ollinger, Heribert Vollmer:
33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, February 17-20, 2016, Orléans, France. LIPIcs 47, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2016, ISBN 978-3-95977-001-9 [contents] - 46Emmanuelle Anceaume, Christian Cachin, Maria Gradinariu Potop-Butucaru:
19th International Conference on Principles of Distributed Systems, OPODIS 2015, December 14-17, 2015, Rennes, France. LIPIcs 46, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2016, ISBN 978-3-939897-98-9 [contents] - 45Prahladh Harsha, G. Ramalingam:
35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India. LIPIcs 45, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2015, ISBN 978-3-939897-97-2 [contents] - 44Salman Beigi, Robert König:
10th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2015, May 20-22, 2015, Brussels, Belgium. LIPIcs 44, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2015, ISBN 978-3-939897-96-5 [contents] - 43Thore Husfeldt, Iyad A. Kanj:
10th International Symposium on Parameterized and Exact Computation, IPEC 2015, September 16-18, 2015, Patras, Greece. LIPIcs 43, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2015, ISBN 978-3-939897-92-7 [contents] - 42Luca Aceto, David de Frutos-Escrig:
26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1.4, 2015. LIPIcs 42, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2015, ISBN 978-3-939897-91-0 [contents] - 41Stephan Kreutzer:
24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany. LIPIcs 41, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2015, ISBN 978-3-939897-90-3 [contents] - 40Naveen Garg, Klaus Jansen, Anup Rao, José D. P. Rolim:
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2015, August 24-26, 2015, Princeton, NJ, USA. LIPIcs 40, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2015, ISBN 978-3-939897-89-7 [contents] - 39Hugo Herbelin, Pierre Letouzey, Matthieu Sozeau:
20th International Conference on Types for Proofs and Programs, TYPES 2014, May 12-15, 2014, Paris, France. LIPIcs 39, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2015, ISBN 978-3-939897-88-0 [contents] - 38Thorsten Altenkirch:
13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, July 1-3, 2015, Warsaw, Poland. LIPIcs 38, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2015, ISBN 978-3-939897-87-3 [contents] - 37John Tang Boyland:
29th European Conference on Object-Oriented Programming, ECOOP 2015, July 5-10, 2015, Prague, Czech Republic. LIPIcs 37, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2015, ISBN 978-3-939897-86-6 [contents] - 36Maribel Fernández:
26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland. LIPIcs 36, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2015, ISBN 978-3-939897-85-9 [contents] - 35Lawrence S. Moss, Pawel Sobocinski:
6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands. LIPIcs 35, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2015, ISBN 978-3-939897-84-2 [contents] - 34Lars Arge, János Pach:
31st International Symposium on Computational Geometry, SoCG 2015, June 22-25, 2015, Eindhoven, The Netherlands. LIPIcs 34, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2015, ISBN 978-3-939897-83-5 [contents] - 33David Zuckerman:
30th Conference on Computational Complexity, CCC 2015, June 17-19, 2015, Portland, Oregon, USA. LIPIcs 33, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2015, ISBN 978-3-939897-81-1 [contents] - 32Thomas Ball, Rastislav Bodík, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett:
1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA. LIPIcs 32, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2015, ISBN 978-3-939897-80-4 [contents] - 31Marcelo Arenas, Martín Ugarte:
18th International Conference on Database Theory, ICDT 2015, March 23-27, 2015, Brussels, Belgium. LIPIcs 31, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2015, ISBN 978-3-939897-79-8 [contents] - 30Ernst W. Mayr, Nicolas Ollinger:
32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015, March 4-7, 2015, Garching, Germany. LIPIcs 30, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2015, ISBN 978-3-939897-78-1 [contents] - 29Venkatesh Raman, S. P. Suresh:
34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, December 15-17, 2014, New Delhi, India. LIPIcs 29, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2014, ISBN 978-3-939897-77-4 [contents] - 28Klaus Jansen, José D. P. Rolim, Nikhil R. Devanur, Cristopher Moore:
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2014, September 4-6, 2014, Barcelona, Spain. LIPIcs 28, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2014, ISBN 978-3-939897-74-3 [contents] - 27Steven T. Flammia, Aram Wettroth Harrow:
9th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2014, May 21-23, 2014, Singapore. LIPIcs 27, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2014, ISBN 978-3-939897-73-6 [contents] - 26Ralph Matthes, Aleksy Schubert:
19th International Conference on Types for Proofs and Programs, TYPES 2013, April 22-26, 2013, Toulouse, France. LIPIcs 26, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2014, ISBN 978-3-939897-72-9 [contents] - 25Ernst W. Mayr, Natacha Portier:
31st International Symposium on Theoretical Aspects of Computer Science (STACS 2014), STACS 2014, March 5-8, 2014, Lyon, France. LIPIcs 25, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2014, ISBN 978-3-939897-65-1 [contents] - 24Anil Seth, Nisheeth K. Vishnoi:
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India. LIPIcs 24, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2013, ISBN 978-3-939897-64-4 [contents] - 23Simona Ronchi Della Rocca:
Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy. LIPIcs 23, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2013, ISBN 978-3-939897-60-6 [contents] - 22Simone Severini, Fernando G. S. L. Brandão:
8th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2013, May 21-23, 2013, Guelph, Canada. LIPIcs 22, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2013, ISBN 978-3-939897-55-2 [contents] - 21Femke van Raamsdonk:
24th International Conference on Rewriting Techniques and Applications, RTA 2013, June 24-26, 2013, Eindhoven, The Netherlands. LIPIcs 21, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2013, ISBN 978-3-939897-53-8 [contents] - 20Natacha Portier, Thomas Wilke:
30th International Symposium on Theoretical Aspects of Computer Science, STACS 2013, February 27 - March 2, 2013, Kiel, Germany. LIPIcs 20, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2013, ISBN 978-3-939897-50-7 [contents] - 19Nils Anders Danielsson, Bengt Nordström:
18th International Workshop on Types for Proofs and Programs, TYPES 2011, September 8-11, 2011, Bergen, Norway. LIPIcs 19, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2013, ISBN 978-3-939897-49-1 [contents] - 18Deepak D'Souza, Telikepalli Kavitha, Jaikumar Radhakrishnan:
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India. LIPIcs 18, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012, ISBN 978-3-939897-47-7 [contents] - 17Agostino Dovier, Vítor Santos Costa:
Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary. LIPIcs 17, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012, ISBN 978-3-939897-43-9 [contents] - 16Patrick Cégielski, Arnaud Durand:
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France. LIPIcs 16, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012, ISBN 978-3-939897-42-2 [contents] - 15Ashish Tiwari:
23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan. LIPIcs 15, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012, ISBN 978-3-939897-38-5 [contents] - 14Christoph Dürr, Thomas Wilke:
29th International Symposium on Theoretical Aspects of Computer Science, STACS 2012, February 29th - March 3rd, 2012, Paris, France. LIPIcs 14, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2012, ISBN 978-3-939897-35-4 [contents] - 13Supratik Chakraborty, Amit Kumar:
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011, December 12-14, 2011, Mumbai, India. LIPIcs 13, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011, ISBN 978-3-939897-34-7 [contents] - 12Marc Bezem:
Computer Science Logic, 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, September 12-15, 2011, Bergen, Norway, Proceedings. LIPIcs 12, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011, ISBN 978-3-939897-32-3 [contents] - 11John P. Gallagher, Michael Gelfond:
Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA. LIPIcs 11, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011, ISBN 978-3-939897-31-6 [contents] - 10Manfred Schmidt-Schauß:
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia. LIPIcs 10, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011, ISBN 978-3-939897-30-9 [contents] - 9Thomas Schwentick, Christoph Dürr:
28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, March 10-12, 2011, Dortmund, Germany. LIPIcs 9, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2011, ISBN 978-3-939897-25-5 [contents] - 8Kamal Lodaya, Meena Mahajan:
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India. LIPIcs 8, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2010, ISBN 978-3-939897-23-1 [contents] - 7Manuel V. Hermenegildo, Torsten Schaub:
Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK. LIPIcs 7, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2010, ISBN 978-3-939897-17-0 [contents] - 6Christopher Lynch:
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK. LIPIcs 6, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2010, ISBN 978-3-939897-18-7 [contents] - 5Jean-Yves Marion, Thomas Schwentick:
27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, March 4-6, 2010, Nancy, France. LIPIcs 5, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2010, ISBN 978-3-939897-16-3 [contents] - 4Ravi Kannan, K. Narayan Kumar:
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, December 15-17, 2009, IIT Kanpur, India. LIPIcs 4, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2009, ISBN 978-3-939897-13-2 [contents] - 3Susanne Albers, Jean-Yves Marion:
26th International Symposium on Theoretical Aspects of Computer Science, STACS 2009, February 26-28, 2009, Freiburg, Germany, Proceedings. LIPIcs 3, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2009, ISBN 978-3-939897-09-5 [contents] - 2Ramesh Hariharan, Madhavan Mukund, V. Vinay:
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, December 9-11, 2008, Bangalore, India. LIPIcs 2, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik 2008 [contents] - 1Susanne Albers, Pascal Weil:
STACS 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings. LIPIcs 1, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2008 [contents]
maintained by 
at 
at 
last updated on 2018-07-21 22:14 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint