Dan R. Ghica, Achim Jung: 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK.LIPIcs 119, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2018, ISBN 978-3-95977-088-0[contents]
118
Sven Schewe, Lijun Zhang: 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China.LIPIcs 118, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2018, ISBN 978-3-95977-087-3[contents]
117
Igor Potapov, Paul G. Spirakis, James Worrell: 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018, August 27-31, 2018, Liverpool, UK.LIPIcs 117, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2018, ISBN 978-3-95977-086-6[contents]
116
….
115
….
114
Stephan Winter, Amy Griffin, Monika Sester: 10th International Conference on Geographic Information Science, GIScience 2018, August 28-31, 2018, Melbourne, Australia.LIPIcs 114, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2018, ISBN 978-3-95977-083-5[contents]
113
Laxmi Parida, Esko Ukkonen: 18th International Workshop on Algorithms in Bioinformatics, WABI 2018, August 20-22, 2018, Helsinki, Finland.LIPIcs 113, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2018, ISBN 978-3-95977-082-8[contents]
112
Yossi Azar, Hannah Bast, Grzegorz Herman: 26th Annual European Symposium on Algorithms, ESA 2018, August 20-22, 2018, Helsinki, Finland.LIPIcs 112, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2018, ISBN 978-3-95977-081-1[contents]
111
Stacey 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 Informatik2018, ISBN 978-3-95977-080-4[contents]
110
James 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 Informatik2018, ISBN 978-3-95977-078-1[contents]
109
Todd 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 Informatik2018, ISBN 978-3-95977-079-8[contents]
108
Hé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 Informatik2018, ISBN 978-3-95977-077-4[contents]
Sebastian Altmeyer: 30th Euromicro Conference on Real-Time Systems, ECRTS 2018, July 3-6, 2018, Barcelona, Spain.LIPIcs 106, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2018, ISBN 978-3-95977-075-0[contents]
105
Gonzalo 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 Informatik2018, ISBN 978-3-95977-074-3[contents]
104
….
103
Gianlorenzo D'Angelo: 17th International Symposium on Experimental Algorithms, SEA 2018, June 27-29, 2018, L'Aquila, Italy.LIPIcs 103, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2018, ISBN 978-3-95977-070-5[contents]
102
Rocco A. Servedio: 33rd Computational Complexity Conference, CCC 2018, June 22-24, 2018, San Diego, CA, USA.LIPIcs 102, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2018, ISBN 978-3-95977-069-9[contents]
101
David Eppstein: 16th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2018, June 18-20, 2018, Malmö, Sweden.LIPIcs 101, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2018, ISBN 978-3-95977-068-2[contents]
Bettina 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 Informatik2018, ISBN 978-3-95977-066-8[contents]
98
Benny Kimelfeld, Yael Amsterdamer: 21st International Conference on Database Theory, ICDT 2018, March 26-29, 2018, Vienna, Austria.LIPIcs 98, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2018, ISBN 978-3-95977-063-7[contents]
97
….
96
Rolf 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 Informatik2018, ISBN 978-3-95977-062-0[contents]
95
James 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 Informatik2018, ISBN 978-3-95977-061-3[contents]
94
Anna 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 Informatik2018, ISBN 978-3-95977-060-6[contents]
93
Satya 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 Informatik2018, ISBN 978-3-95977-055-2[contents]
92
Yoshio 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 Informatik2017, ISBN 978-3-95977-054-5[contents]
91
Andréa W. Richa: 31st International Symposium on Distributed Computing, DISC 2017, October 16-20, 2017, Vienna, Austria.LIPIcs 91, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2017, ISBN 978-3-95977-053-8[contents]
90
Sven 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 Informatik2017, ISBN 978-3-95977-052-1[contents]
89
Daniel 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 Informatik2018, ISBN 978-3-95977-051-4[contents]
88
Russell 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 Informatik2017, ISBN 978-3-95977-050-7[contents]
87
Kirk Pruhs, Christian Sohler: 25th Annual European Symposium on Algorithms, ESA 2017, September 4-6, 2017, Vienna, Austria.LIPIcs 87, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2017, ISBN 978-3-95977-049-1[contents]
Roland Meyer, Uwe Nestmann: 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany.LIPIcs 85, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2017, ISBN 978-3-95977-048-4[contents]
84
Dale 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 Informatik2017, ISBN 978-3-95977-047-7[contents]
83
Kim 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 Informatik2017, ISBN 978-3-95977-046-0[contents]
82
Valentin 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 Informatik2017, ISBN 978-3-95977-045-3[contents]
Boris 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 Informatik2017, ISBN 978-3-95977-038-5[contents]
76
Marko Bertogna: 29th Euromicro Conference on Real-Time Systems, ECRTS 2017, June 27-30, 2017, Dubrovnik, Croatia.LIPIcs 76, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2017, ISBN 978-3-95977-037-8[contents]
Peter Müller: 31st European Conference on Object-Oriented Programming, ECOOP 2017, June 19-23, 2017, Barcelona, Spain.LIPIcs 74, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2017, ISBN 978-3-95977-035-4[contents]
73
Mark 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 Informatik2018, ISBN 978-3-95977-034-7[contents]
72
Filippo 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 Informatik2017, ISBN 978-3-95977-033-0[contents]
Panagiota 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 Informatik2017, ISBN 978-3-95977-031-6[contents]
69
Tarmo 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 Informatik2018, ISBN 978-3-95977-030-9[contents]
68
Michael Benedikt, Giorgio Orsi: 20th International Conference on Database Theory, ICDT 2017, March 21-24, 2017, Venice, Italy.LIPIcs 68, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2017, ISBN 978-3-95977-024-8[contents]
67
Christos 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 Informatik2017, ISBN 978-3-95977-029-3[contents]
66
Heribert 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 Informatik2017, ISBN 978-3-95977-028-6[contents]
65
Akash 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 Informatik2016, ISBN 978-3-95977-027-9[contents]
64
Seok-Hee Hong: 27th International Symposium on Algorithms and Computation, ISAAC 2016, December 12-14, 2016, Sydney, Australia.LIPIcs 64, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2016, ISBN 978-3-95977-026-2[contents]
63
Jiong 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 Informatik2017, ISBN 978-3-95977-023-1[contents]
62
Jean-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 Informatik2016, ISBN 978-3-95977-022-4[contents]
61
Anne 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 Informatik2016, ISBN 978-3-95977-019-4[contents]
60
Klaus 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 Informatik2016, ISBN 978-3-95977-018-7[contents]
59
José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 Informatik2016, ISBN 978-3-95977-017-0[contents]
58
Piotr 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 Informatik2016, ISBN 978-3-95977-016-3[contents]
57
Piotr 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 Informatik2016, ISBN 978-3-95977-015-6[contents]
56
Shriram 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 Informatik2016, ISBN 978-3-95977-014-9[contents]
Roberto 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 Informatik2016, ISBN 978-3-95977-012-5[contents]
53
Rasmus Pagh: 15th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2016, June 22-24, 2016, Reykjavik, Iceland.LIPIcs 53, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2016, ISBN 978-3-95977-011-8[contents]
52
Delia 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 Informatik2016, ISBN 978-3-95977-010-1[contents]
51
Sá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 Informatik2016, ISBN 978-3-95977-009-5[contents]
50
Ran Raz: 31st Conference on Computational Complexity, CCC 2016, May 29 to June 1, 2016, Tokyo, Japan.LIPIcs 50, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2016, ISBN 978-3-95977-008-8[contents]
49
Erik 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 Informatik2016, ISBN 978-3-95977-005-7[contents]
48
Wim Martens, Thomas Zeume: 19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016.LIPIcs 48, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2016, ISBN 978-3-95977-002-6[contents]
47
Nicolas 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 Informatik2016, ISBN 978-3-95977-001-9[contents]
Prahladh 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 Informatik2015, ISBN 978-3-939897-97-2[contents]
44
Salman 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 Informatik2015, ISBN 978-3-939897-96-5[contents]
43
Thore 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 Informatik2015, ISBN 978-3-939897-92-7[contents]
42
Luca 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 Informatik2015, ISBN 978-3-939897-91-0[contents]
41
Stephan Kreutzer: 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany.LIPIcs 41, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2015, ISBN 978-3-939897-90-3[contents]
40
Naveen 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 Informatik2015, ISBN 978-3-939897-89-7[contents]
39
Hugo 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 Informatik2015, ISBN 978-3-939897-88-0[contents]
38
Thorsten 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 Informatik2015, ISBN 978-3-939897-87-3[contents]
37
John 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 Informatik2015, ISBN 978-3-939897-86-6[contents]
36
Maribel 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 Informatik2015, ISBN 978-3-939897-85-9[contents]
35
Lawrence 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 Informatik2015, ISBN 978-3-939897-84-2[contents]
34
Lars 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 Informatik2015, ISBN 978-3-939897-83-5[contents]
33
David Zuckerman: 30th Conference on Computational Complexity, CCC 2015, June 17-19, 2015, Portland, Oregon, USA.LIPIcs 33, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2015, ISBN 978-3-939897-81-1[contents]
Marcelo 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 Informatik2015, ISBN 978-3-939897-79-8[contents]
30
Ernst 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 Informatik2015, ISBN 978-3-939897-78-1[contents]
29
Venkatesh 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 Informatik2014, ISBN 978-3-939897-77-4[contents]
28
Klaus 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 Informatik2014, ISBN 978-3-939897-74-3[contents]
27
Steven 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 Informatik2014, ISBN 978-3-939897-73-6[contents]
26
Ralph 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 Informatik2014, ISBN 978-3-939897-72-9[contents]
25
Ernst 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 Informatik2014, ISBN 978-3-939897-65-1[contents]
24
Anil 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 Informatik2013, ISBN 978-3-939897-64-4[contents]
23
Simona Ronchi Della Rocca: Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy.LIPIcs 23, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik2013, ISBN 978-3-939897-60-6[contents]
22
Simone 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 Informatik2013, ISBN 978-3-939897-55-2[contents]
21
Femke 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 Informatik2013, ISBN 978-3-939897-53-8[contents]
20
Natacha 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 Informatik2013, ISBN 978-3-939897-50-7[contents]
19
Nils 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 Informatik2013, ISBN 978-3-939897-49-1[contents]
18
Deepak 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 Informatik2012, ISBN 978-3-939897-47-7[contents]
17
Agostino 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 Informatik2012, ISBN 978-3-939897-43-9[contents]
16
Patrick 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 Informatik2012, ISBN 978-3-939897-42-2[contents]
15
Ashish 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 Informatik2012, ISBN 978-3-939897-38-5[contents]
14
Christoph 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 Informatik2012, ISBN 978-3-939897-35-4[contents]
13
Supratik 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 Informatik2011, ISBN 978-3-939897-34-7[contents]
12
Marc 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 Informatik2011, ISBN 978-3-939897-32-3[contents]
11
John 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 Informatik2011, ISBN 978-3-939897-31-6[contents]
10
Manfred 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 Informatik2011, ISBN 978-3-939897-30-9[contents]
9
Thomas 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 Informatik2011, ISBN 978-3-939897-25-5[contents]
8
Kamal 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 Informatik2010, ISBN 978-3-939897-23-1[contents]
7
Manuel 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 Informatik2010, ISBN 978-3-939897-17-0[contents]
6
Christopher 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 Informatik2010, ISBN 978-3-939897-18-7[contents]
5
Jean-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 Informatik2010, ISBN 978-3-939897-16-3[contents]
4
Ravi 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 Informatik2009, ISBN 978-3-939897-13-2[contents]
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
119Dan R. Ghica, Achim Jung: