26th International Conference on Database Theory (ICDT 2023) Volume 255, ICDT 2023, March 28-31, 2023, Ioannina, Greece Floris Geerts and Brecht Vandevoort (Eds.)

40th International Symposium on Theoretical Aspects of Computer Science (STACS 2023) Volume 254, STACS 2023, March 7-9, 2023, Hamburg, Germany Petra Berenbrink and Patricia Bouyer and Anuj Dawar and Mamadou Moustapha Kanté (Eds.)

26th International Conference on Principles of Distributed Systems (OPODIS 2022) Volume 253, OPODIS 2022, December 13-15, 2022, Brussels, Belgium Eshcar Hillel and Roberto Palmieri and Etienne Rivière (Eds.)

31st EACSL Annual Conference on Computer Science Logic (CSL 2023) Volume 252, CSL 2023, February 13-16, 2023, Warsaw, Poland Bartek Klin and Elaine Pimentel (Eds.)

14th Innovations in Theoretical Computer Science Conference (ITCS 2023) Volume 251, ITCS 2023, January 10-13, 2023, MIT, Cambridge, Massachusetts, USA Yael Tauman Kalai (Ed.)

42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2022) Volume 250, FSTTCS 2022, December 18-20, 2022, IIT Madras, Chennai, India Anuj Dawar and Venkatesan Guruswami (Eds.)

17th International Symposium on Parameterized and Exact Computation (IPEC 2022) Volume 249, IPEC 2022, September 7-9, 2022, Potsdam, Germany Holger Dell and Jesper Nederlof (Eds.)

33rd International Symposium on Algorithms and Computation (ISAAC 2022) Volume 248, ISAAC 2022, December 19-21, 2022, Seoul, Korea Sang Won Bae and Heejin Park (Eds.)

29th International Symposium on Temporal Representation and Reasoning (TIME 2022) Volume 247, TIME 2022, November 7-9, 2022, Virtual Conference Alexander Artikis and Roberto Posenato and Stefano Tonetta (Eds.)

36th International Symposium on Distributed Computing (DISC 2022) Volume 246, DISC 2022, October 25-27, 2022, Augusta, Georgia, USA Christian Scheideler (Ed.)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2022) Volume 245, APPROX/RANDOM 2022, September 19-21, 2022, University of Illinois, Urbana-Champaign, USA (Virtual Conference) Amit Chakrabarti and Chaitanya Swamy (Eds.)

30th Annual European Symposium on Algorithms (ESA 2022) Volume 244, ESA 2022, September 5-9, 2022, Berlin/Potsdam, Germany Shiri Chechik and Gonzalo Navarro and Eva Rotenberg and Grzegorz Herman (Eds.)

33rd International Conference on Concurrency Theory (CONCUR 2022) Volume 243, CONCUR 2022, September 12-16, 2022, Warsaw, Poland Bartek Klin and Sławomir Lasota and Anca Muscholl (Eds.)

22nd International Workshop on Algorithms in Bioinformatics (WABI 2022) Volume 242, WABI 2022, September 5-7, 2022, Potsdam, Germany Christina Boucher and Sven Rahmann (Eds.)

47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022) Volume 241, MFCS 2022, August 22-26, 2022, Vienna, Austria Stefan Szeider and Robert Ganian and Alexandra Silva (Eds.)

15th International Conference on Spatial Information Theory (COSIT 2022) Volume 240, COSIT 2022, September 5-9, 2022, Kobe, Japan Toru Ishikawa and Sara Irina Fabrikant and Stephan Winter (Eds.)

27th International Conference on Types for Proofs and Programs (TYPES 2021) Volume 239, TYPES 2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference) Henning Basold and Jesper Cockx and Silvia Ghilezan (Eds.)

28th International Conference on DNA Computing and Molecular Programming (DNA 28) Volume 238, DNA 28, August 8-12, 2022, University of New Mexico, Albuquerque, New Mexico, USA Thomas E. Ouldridge and Shelley F. J. Wickham (Eds.)

13th International Conference on Interactive Theorem Proving (ITP 2022) Volume 237, ITP 2022, August 7-10, 2022, Haifa, Israel June Andronick and Leonardo de Moura (Eds.)

25th International Conference on Theory and Applications of Satisfiability Testing (SAT 2022) Volume 236, SAT 2022, August 2-5, 2022, Haifa, Israel Kuldeep S. Meel and Ofer Strichman (Eds.)

28th International Conference on Principles and Practice of Constraint Programming (CP 2022) Volume 235, CP 2022, July 31 to August 8, 2022, Haifa, Israel Christine Solnon (Ed.)

37th Computational Complexity Conference (CCC 2022) Volume 234, CCC 2022, July 20-23, 2022, Philadelphia, PA, USA Shachar Lovett (Ed.)

20th International Symposium on Experimental Algorithms (SEA 2022) Volume 233, SEA 2022, July 25-27, 2022, Heidelberg, Germany Christian Schulz and Bora Uçar (Eds.)

17th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2022) Volume 232, TQC 2022, July 11-15, 2022, Urbana Champaign, Illinois, USA François Le Gall and Tomoyuki Morimae (Eds.)

34th Euromicro Conference on Real-Time Systems (ECRTS 2022) Volume 231, ECRTS 2022, July 5-8, 2022, Modena, Italy Martina Maggio (Ed.)

3rd Conference on Information-Theoretic Cryptography (ITC 2022) Volume 230, ITC 2022, July 5-7, 2022, Cambridge, MA, USA Dana Dachman-Soled (Ed.)

49th International Colloquium on Automata, Languages, and Programming (ICALP 2022) Volume 229, ICALP 2022, July 4-8, 2022, Paris, France Mikołaj Bojańczyk and Emanuela Merelli and David P. Woodruff (Eds.)

7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022) Volume 228, FSCD 2022, August 2-5, 2022, Haifa, Israel Amy P. Felty (Ed.)

18th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT 2022) Volume 227, SWAT 2022, June 27-29, 2022, Tórshavn, Faroe Islands Artur Czumaj and Qin Xin (Eds.)

11th International Conference on Fun with Algorithms (FUN 2022) Volume 226, FUN 2022, May 30 to June 3, 2022, Island of Favignana, Sicily, Italy Pierre Fraigniaud and Yushi Uno (Eds.)

33rd International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2022) Volume 225, AofA 2022, June 20-24, 2022, Philadelphia, PA, USA Mark Daniel Ward (Ed.)

38th International Symposium on Computational Geometry (SoCG 2022) Volume 224, SoCG 2022, June 7-10, 2022, Berlin, Germany Xavier Goaoc and Michael Kerber (Eds.)

33rd Annual Symposium on Combinatorial Pattern Matching (CPM 2022) Volume 223, CPM 2022, June 27-29, 2022, Prague, Czech Republic Hideo Bannai and Jan Holub (Eds.)

36th European Conference on Object-Oriented Programming (ECOOP 2022) Volume 222, ECOOP 2022, June 6-10, 2022, Berlin, Germany Karim Ali and Jan Vitek (Eds.)

1st Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2022) Volume 221, SAND 2022, March 28-30, 2022, Virtual Conference James Aspnes and Othon Michail (Eds.)

25th International Conference on Database Theory (ICDT 2022) Volume 220, ICDT 2022, March 29 to April 1, 2022, Edinburgh, UK (Virtual Conference) Dan Olteanu and Nils Vortmeier (Eds.)

39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022) Volume 219, STACS 2022, March 15-18, 2022, Marseille, France (Virtual Conference) Petra Berenbrink and Benjamin Monmege (Eds.)

3rd Symposium on Foundations of Responsible Computing (FORC 2022) Volume 218, FORC 2022, June 6-8, 2022, Cambridge, MA, USA L. Elisa Celis (Ed.)

25th International Conference on Principles of Distributed Systems (OPODIS 2021) Volume 217, OPODIS 2021, December 13-15, 2021, Strasbourg, France Quentin Bramas and Vincent Gramoli and Alessia Milani (Eds.)

30th EACSL Annual Conference on Computer Science Logic (CSL 2022) Volume 216, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference) Florin Manea and Alex Simpson (Eds.)

13th Innovations in Theoretical Computer Science Conference (ITCS 2022) Volume 215, ITCS 2022, January 31 to February 3, 2022, Berkeley, CA, USA Mark Braverman (Ed.)

16th International Symposium on Parameterized and Exact Computation (IPEC 2021) Volume 214, IPEC 2021, September 8-10, 2021, Lisbon, Portugal Petr A. Golovach and Meirav Zehavi (Eds.)

41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021) Volume 213, FSTTCS 2021, December 15-17, 2021, Virtual Conference Mikołaj Bojańczyk and Chandra Chekuri (Eds.)

32nd International Symposium on Algorithms and Computation (ISAAC 2021) Volume 212, ISAAC 2021, December 6-8, 2021, Fukuoka, Japan Hee-Kap Ahn and Kunihiko Sadakane (Eds.)

9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021) Volume 211, CALCO 2021, August 31 to September 3, 2021, Salzburg, Austria Fabio Gadducci and Alexandra Silva (Eds.)

27th International Conference on Principles and Practice of Constraint Programming (CP 2021) Volume 210, CP 2021, October 25-29, 2021, Montpellier, France (Virtual Conference) Laurent D. Michel (Ed.)

35th International Symposium on Distributed Computing (DISC 2021) Volume 209, DISC 2021, October 4-8, 2021, Freiburg, Germany (Virtual Conference) Seth Gilbert (Ed.)

11th International Conference on Geographic Information Science (GIScience 2021) - Part II Volume 208, GIScience 2021, September 27-30, 2021, Poznań, Poland (Virtual Conference) Krzysztof Janowicz and Judith A. Verstegen (Eds.)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2021) Volume 207, APPROX/RANDOM 2021, August 16-18, 2021, University of Washington, Seattle, Washington, US (Virtual Conference) Mary Wootters and Laura Sanità (Eds.)

28th International Symposium on Temporal Representation and Reasoning (TIME 2021) Volume 206, TIME 2021, September 27-29, 2021, Klagenfurt, Austria Carlo Combi and Johann Eder and Mark Reynolds (Eds.)

27th International Conference on DNA Computing and Molecular Programming (DNA 27) Volume 205, DNA 27, September 13-16, 2021, Oxford, UK (Virtual Conference) Matthew R. Lakin and Petr Šulc (Eds.)

29th Annual European Symposium on Algorithms (ESA 2021) Volume 204, ESA 2021, September 6-8, 2021, Lisbon, Portugal (Virtual Conference) Petra Mutzel and Rasmus Pagh and Grzegorz Herman (Eds.)

32nd International Conference on Concurrency Theory (CONCUR 2021) Volume 203, CONCUR 2021, August 24-27, 2021, Virtual Conference Serge Haddad and Daniele Varacca (Eds.)

46th International Symposium on Mathematical Foundations of Computer Science (MFCS 2021) Volume 202, MFCS 2021, August 23-27, 2021, Tallinn, Estonia Filippo Bonchi and Simon J. Puglisi (Eds.)

21st International Workshop on Algorithms in Bioinformatics (WABI 2021) Volume 201, WABI 2021, August 2-4, 2021, Virtual Conference Alessandra Carbone and Mohammed El-Kebir (Eds.)

36th Computational Complexity Conference (CCC 2021) Volume 200, CCC 2021, July 20-23, 2021, Toronto, Ontario, Canada (Virtual Conference) Valentine Kabanets (Ed.)

2nd Conference on Information-Theoretic Cryptography (ITC 2021) Volume 199, ITC 2021, July 23-26, 2021, Virtual Conference Stefano Tessaro (Ed.)

48th International Colloquium on Automata, Languages, and Programming (ICALP 2021) Volume 198, ICALP 2021, July 12-16, 2021, Glasgow, Scotland (Virtual Conference) Nikhil Bansal and Emanuela Merelli and James Worrell (Eds.)

16th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2021) Volume 197, TQC 2021, July 5-8, 2021, Virtual Conference Min-Hsiu Hsieh (Ed.)

33rd Euromicro Conference on Real-Time Systems (ECRTS 2021) Volume 196, ECRTS 2021, July 5-9, 2021, Virtual Conference Björn B. Brandenburg (Ed.)

6th International Conference on Formal Structures for Computation and Deduction (FSCD 2021) Volume 195, FSCD 2021, July 17-24, 2021, Buenos Aires, Argentina (Virtual Conference) Naoki Kobayashi (Ed.)

35th European Conference on Object-Oriented Programming (ECOOP 2021) Volume 194, ECOOP 2021, July 11-17, 2021, Aarhus, Denmark (Virtual Conference) Manu Sridharan and Anders Møller (Eds.)

12th International Conference on Interactive Theorem Proving (ITP 2021) Volume 193, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference) Liron Cohen and Cezary Kaliszyk (Eds.)

2nd Symposium on Foundations of Responsible Computing (FORC 2021) Volume 192, FORC 2021, June 9-11, 2021, Virtual Conference Katrina Ligett and Swati Gupta (Eds.)

32nd Annual Symposium on Combinatorial Pattern Matching (CPM 2021) Volume 191, CPM 2021, July 5-7, 2021, Wrocław, Poland Paweł Gawrychowski and Tatiana Starikovskaya (Eds.)

19th International Symposium on Experimental Algorithms (SEA 2021) Volume 190, SEA 2021, June 7-9, 2021, Nice, France David Coudert and Emanuele Natale (Eds.)

37th International Symposium on Computational Geometry (SoCG 2021) Volume 189, SoCG 2021, June 7-11, 2021, Buffalo, NY, USA (Virtual Conference) Kevin Buchin and Éric Colin de Verdière (Eds.)

26th International Conference on Types for Proofs and Programs (TYPES 2020) Volume 188, TYPES 2020, March 2-5, 2020, University of Turin, Italy Ugo de'Liguoro and Stefano Berardi and Thorsten Altenkirch (Eds.)

38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021) Volume 187, STACS 2021, March 16-19, 2021, Saarbrücken, Germany (Virtual Conference) Markus Bläser and Benjamin Monmege (Eds.)

24th International Conference on Database Theory (ICDT 2021) Volume 186, ICDT 2021, March 23-26, 2021, Nicosia, Cyprus Ke Yi and Zhewei Wei (Eds.)

12th Innovations in Theoretical Computer Science Conference (ITCS 2021) Volume 185, ITCS 2021, January 6-8, 2021, Virtual Conference James R. Lee (Ed.)

24th International Conference on Principles of Distributed Systems (OPODIS 2020) Volume 184, OPODIS 2020, December 14-16, 2020, Strasbourg, France (Virtual Conference) Quentin Bramas and Rotem Oshman and Paolo Romano (Eds.)

29th EACSL Annual Conference on Computer Science Logic (CSL 2021) Volume 183, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference) Christel Baier and Jean Goubault-Larrecq (Eds.)

40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020) Volume 182, FSTTCS 2020, December 14-18, 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference) Nitin Saxena and Sunil Simon (Eds.)

31st International Symposium on Algorithms and Computation (ISAAC 2020) Volume 181, ISAAC 2020, December 14-18, 2020, Hong Kong, China (Virtual Conference) Yixin Cao and Siu-Wing Cheng and Minming Li (Eds.)

15th International Symposium on Parameterized and Exact Computation (IPEC 2020) Volume 180, IPEC 2020, December 14-18, 2020, Hong Kong, China (Virtual Conference) Yixin Cao and Marcin Pilipczuk (Eds.)

34th International Symposium on Distributed Computing (DISC 2020) Volume 179, DISC 2020, October 12-16, 2020, Virtual Conference Hagit Attiya (Ed.)

27th International Symposium on Temporal Representation and Reasoning (TIME 2020) Volume 178, TIME 2020, September 23-25, 2020, Bozen-Bolzano, Italy Emilio Muñoz-Velasco and Ana Ozaki and Martin Theobald (Eds.)

11th International Conference on Geographic Information Science (GIScience 2021) - Part I Volume 177, GIScience 2021, September 27-30, 2021, Poznań, Poland Krzysztof Janowicz and Judith A. Verstegen (Eds.)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2020) Volume 176, APPROX/RANDOM 2020, August 17-19, 2020, Virtual Conference Jarosław Byrka and Raghu Meka (Eds.)

25th International Conference on Types for Proofs and Programs (TYPES 2019) Volume 175, TYPES 2019, June 11-14, 2019, Oslo, Norway Marc Bezem and Assia Mahboubi (Eds.)

26th International Conference on DNA Computing and Molecular Programming (DNA 26) Volume 174, DNA 26, September 14-17, 2020, Oxford, UK (Virtual Conference) Cody Geary and Matthew J. Patitz (Eds.)

28th Annual European Symposium on Algorithms (ESA 2020) Volume 173, ESA 2020, September 7-9, 2020, Pisa, Italy (Virtual Conference) Fabrizio Grandoni and Grzegorz Herman and Peter Sanders (Eds.)

20th International Workshop on Algorithms in Bioinformatics (WABI 2020) Volume 172, WABI 2020, September 7-9, 2020, Pisa, Italy (Virtual Conference) Carl Kingsford and Nadia Pisanti (Eds.)

31st International Conference on Concurrency Theory (CONCUR 2020) Volume 171, CONCUR 2020, September 1-4, 2020, Vienna, Austria (Virtual Conference) Igor Konnov and Laura Kovács (Eds.)

45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020) Volume 170, MFCS 2020, August 24-28, 2020, Prague, Czech Republic Javier Esparza and Daniel Kráľ (Eds.)

35th Computational Complexity Conference (CCC 2020) Volume 169, CCC 2020, July 28-31, 2020, Saarbrücken, Germany (Virtual Conference) Shubhangi Saraf (Ed.)

47th International Colloquium on Automata, Languages, and Programming (ICALP 2020) Volume 168, ICALP 2020, July 8-11, 2020, Saarbrücken, Germany (Virtual Conference) Artur Czumaj and Anuj Dawar and Emanuela Merelli (Eds.)

5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020) Volume 167, FSCD 2020, June 29 to July 6, 2020, Paris, France (Virtual Conference) Zena M. Ariola (Ed.)

34th European Conference on Object-Oriented Programming (ECOOP 2020) Volume 166, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference) Robert Hirschfeld and Tobias Pape (Eds.)

32nd Euromicro Conference on Real-Time Systems (ECRTS 2020) Volume 165, ECRTS 2020, July 7-10, 2020, Virtual Conference Marcus Völp (Ed.)

36th International Symposium on Computational Geometry (SoCG 2020) Volume 164, SoCG 2020, June 23-26, 2020, Zürich, Switzerland Sergio Cabello and Danny Z. Chen (Eds.)

1st Conference on Information-Theoretic Cryptography (ITC 2020) Volume 163, ITC 2020, June 17-19, 2020, Boston, MA, USA Yael Tauman Kalai and Adam D. Smith and Daniel Wichs (Eds.)

17th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT 2020) Volume 162, SWAT 2020, June 22-24, 2020, Tórshavn, Faroe Islands Susanne Albers (Ed.)

31st Annual Symposium on Combinatorial Pattern Matching (CPM 2020) Volume 161, CPM 2020, June 17-19, 2020, Copenhagen, Denmark Inge Li Gørtz and Oren Weimann (Eds.)

18th International Symposium on Experimental Algorithms (SEA 2020) Volume 160, SEA 2020, June 16-18, 2020, Catania, Italy Simone Faro and Domenico Cantone (Eds.)

31st International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2020) Volume 159, AofA 2020, June 15-19, 2020, Klagenfurt, Austria (Virtual Conference) Michael Drmota and Clemens Heuberger (Eds.)

15th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2020) Volume 158, TQC 2020, June 9-12, 2020, Riga, Latvia Steven T. Flammia (Ed.)

10th International Conference on Fun with Algorithms (FUN 2021) Volume 157, FUN 2021, May 30 to June 1, 2021, Favignana Island, Sicily, Italy Martin Farach-Colton and Giuseppe Prencipe and Ryuhei Uehara (Eds.)

1st Symposium on Foundations of Responsible Computing (FORC 2020) Volume 156, FORC 2020, June 1-3, 2020, Harvard University, Cambridge, MA, USA (virtual conference) Aaron Roth (Ed.)

23rd International Conference on Database Theory (ICDT 2020) Volume 155, ICDT 2020, March 30 to April 2, 2020, Copenhagen, Denmark Carsten Lutz and Jean Christoph Jung (Eds.)

37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020) Volume 154, STACS 2020, March 10-13, 2020, Montpellier, France Christophe Paul and Markus Bläser (Eds.)

23rd International Conference on Principles of Distributed Systems (OPODIS 2019) Volume 153, OPODIS 2019, December 17-19, 2019, Neuchâtel, Switzerland Pascal Felber and Roy Friedman and Seth Gilbert and Avery Miller (Eds.)

28th EACSL Annual Conference on Computer Science Logic (CSL 2020) Volume 152, CSL 2020, January 13-16, 2020, Barcelona, Spain Maribel Fernández and Anca Muscholl (Eds.)

11th Innovations in Theoretical Computer Science Conference (ITCS 2020) Volume 151, ITCS 2020, January 12-14, 2020, Seattle, Washington, USA Thomas Vidick (Ed.)

39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019) Volume 150, FSTTCS 2019, December 11-13, 2019, Bombay, India Arkadev Chattopadhyay and Paul Gastin (Eds.)

30th International Symposium on Algorithms and Computation (ISAAC 2019) Volume 149, ISAAC 2019, December 8-11, 2019, Shanghai University of Finance and Economics, Shanghai, China Pinyan Lu and Guochuan Zhang (Eds.)

14th International Symposium on Parameterized and Exact Computation (IPEC 2019) Volume 148, IPEC 2019, September 11-13, 2019, Munich, Germany Bart M. P. Jansen and Jan Arne Telle (Eds.)

26th International Symposium on Temporal Representation and Reasoning (TIME 2019) Volume 147, TIME 2019, October 16-19, 2019, Málaga, Spain Johann Gamper and Sophie Pinchinat and Guido Sciavicco (Eds.)

33rd International Symposium on Distributed Computing (DISC 2019) Volume 146, DISC 2019, October 14-18, 2019, Budapest, Hungary Jukka Suomela (Ed.)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2019) Volume 145, APPROX/RANDOM 2019, September 20-22, 2019, Massachusetts Institute of Technology, Cambridge, MA, USA Dimitris Achlioptas and László A. Végh (Eds.)

27th Annual European Symposium on Algorithms (ESA 2019) Volume 144, ESA 2019, September 9-11, 2019, Munich/Garching, Germany Michael A. Bender and Ola Svensson and Grzegorz Herman (Eds.)

19th International Workshop on Algorithms in Bioinformatics (WABI 2019) Volume 143, WABI 2019, September 8-10, 2019, Niagara Falls, NY, USA Katharina T. Huber and Dan Gusfield (Eds.)

14th International Conference on Spatial Information Theory (COSIT 2019) Volume 142, COSIT 2019, September 9-13, 2019, Regensburg, Germany Sabine Timpf and Christoph Schlieder and Markus Kattenbeck and Bernd Ludwig and Kathleen Stewart (Eds.)

10th International Conference on Interactive Theorem Proving (ITP 2019) Volume 141, ITP 2019, September 9-12, 2019, Portland, OR, USA John Harrison and John O'Leary and Andrew Tolmach (Eds.)

30th International Conference on Concurrency Theory (CONCUR 2019) Volume 140, CONCUR 2019, August 27-30, 2019, Amsterdam, the Netherlands Wan Fokkink and Rob van Glabbeek (Eds.)

8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019) Volume 139, CALCO 2019, June 3-6, 2019, London, United Kingdom Markus Roggenbach and Ana Sokolova (Eds.)

44th International Symposium on Mathematical Foundations of Computer Science (MFCS 2019) Volume 138, MFCS 2019, August 26-30, 2019, Aachen, Germany Peter Rossmanith and Pinar Heggernes and Joost-Pieter Katoen (Eds.)

34th Computational Complexity Conference (CCC 2019) Volume 137, CCC 2019, July 17-20, 2019, New Brunswick, NJ, USA Amir Shpilka (Ed.)

3rd Summit on Advances in Programming Languages (SNAPL 2019) Volume 136, SNAPL 2019, May 16-17, 2019, Providence, RI, USA Benjamin S. Lerner and Rastislav Bodík and Shriram Krishnamurthi (Eds.)

14th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2019) Volume 135, TQC 2019, June 3-5, 2019, University of Maryland, College Park, Maryland, USA Wim van Dam and Laura Mancinska (Eds.)

33rd European Conference on Object-Oriented Programming (ECOOP 2019) Volume 134, ECOOP 2019, July 15-19, 2019, London, United Kingdom Alastair F. Donaldson (Ed.)

31st Euromicro Conference on Real-Time Systems (ECRTS 2019) Volume 133, ECRTS 2019, July 9-12, 2019, Stuttgart, Germany Sophie Quinton (Ed.)

46th International Colloquium on Automata, Languages, and Programming (ICALP 2019) Volume 132, ICALP 2019, July 9-12, 2019, Patras, Greece Christel Baier and Ioannis Chatzigiannakis and Paola Flocchini and Stefano Leonardi (Eds.)

4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) Volume 131, FSCD 2019, June 24-30, 2019, Dortmund, Germany Herman Geuvers (Ed.)

24th International Conference on Types for Proofs and Programs (TYPES 2018) Volume 130, TYPES 2018, June 18-21, 2018, Braga, Portugal Peter Dybjer and José Espírito Santo and Luís Pinto (Eds.)

35th International Symposium on Computational Geometry (SoCG 2019) Volume 129, SoCG 2019, June 18-21, 2019, Portland, Oregon, USA Gill Barequet and Yusu Wang (Eds.)

30th Annual Symposium on Combinatorial Pattern Matching (CPM 2019) Volume 128, CPM 2019, June 18-20, 2019, Pisa, Italy Nadia Pisanti and Solon P. Pissis (Eds.)

22nd International Conference on Database Theory (ICDT 2019) Volume 127, ICDT 2019, March 26-28, 2019, Lisbon, Portugal Pablo Barcelo and Marco Calautti (Eds.)

36th International Symposium on Theoretical Aspects of Computer Science (STACS 2019) Volume 126, STACS 2019, March 13-16, 2019, Berlin, Germany Rolf Niedermeier and Christophe Paul (Eds.)

22nd International Conference on Principles of Distributed Systems (OPODIS 2018) Volume 125, OPODIS 2018, December 17-19, 2018 - Hong Kong, China Jiannong Cao and Faith Ellen and Luis Rodrigues and Bernardo Ferreira (Eds.)

10th Innovations in Theoretical Computer Science Conference (ITCS 2019) Volume 124, ITCS 2019, January 10-12, 2019 - San Diego, California, USA Avrim Blum (Ed.)

29th International Symposium on Algorithms and Computation (ISAAC 2018) Volume 123, ISAAC 2018, December 16-19, 2018 - Jiaoxi, Yilan, Taiwan Wen-Lian Hsu and Der-Tsai Lee and Chung-Shou Liao (Eds.)

38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2018) Volume 122, FSTTCS 2018, December 11-13, 2018 - Ahmedabad, India Sumit Ganguly and Paritosh Pandya (Eds.)

32nd International Symposium on Distributed Computing (DISC 2018) Volume 121, DISC 2018, October 15-19, 2018 - New Orleans, USA Ulrich Schmid and Josef Widder (Eds.)

25th International Symposium on Temporal Representation and Reasoning (TIME 2018) Volume 120, TIME 2018, October 15-17, 2018 - Warsaw, Poland Natasha Alechina and Kjetil Nørvåg and Wojciech Penczek (Eds.)

27th EACSL Annual Conference on Computer Science Logic (CSL 2018) Volume 119, CSL 2018, September 4-7, 2018 - Birmingham, GB Dan Ghica and Achim Jung (Eds.)

29th International Conference on Concurrency Theory (CONCUR 2018) Volume 118, CONCUR 2018, September 4-7, 2018 - Beijing, China Sven Schewe and Lijun Zhang (Eds.)

43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018) Volume 117, MFCS 2018, August 27-31, 2018 - Liverpool, GB Igor Potapov and Paul Spirakis and James Worrell (Eds.)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2018) Volume 116, APPROX/RANDOM 2018, August 20-22, 2018 - Princeton, NJ, USA Eric Blais and Klaus Jansen and José D. P. Rolim and David Steurer (Eds.)

13th International Symposium on Parameterized and Exact Computation (IPEC 2018) Volume 115, IPEC 2018, August 20-24, 2018 - Helsinki, Finland Christophe Paul and Michal Pilipczuk (Eds.)

10th International Conference on Geographic Information Science (GIScience 2018) Volume 114, GIScience 2018, August 28-31, 2018 - Melbourne, Australia Stephan Winter and Amy Griffin and Monika Sester (Eds.)

18th International Workshop on Algorithms in Bioinformatics (WABI 2018) Volume 113, WABI 2018, August 20-22, 2018 - Helsinki, Finland Laxmi Parida and Esko Ukkonen (Eds.)

26th Annual European Symposium on Algorithms (ESA 2018) Volume 112, ESA 2018, August 20-22, 2018 - Helsinki, Finland Yossi Azar and Hannah Bast and Grzegorz Herman (Eds.)

13th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2018) Volume 111, TQC 2018, July 16-18, 2018 - Sydney, Australia Stacey Jeffery (Ed.)

29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018) Volume 110, AofA 2018, June 25-29, 2018 - Uppsala, Sweden James Allen Fill and Mark Daniel Ward (Eds.)

32nd European Conference on Object-Oriented Programming (ECOOP 2018) Volume 109, ECOOP 2018, July 16-21, 2018 - Amsterdam, Netherlands Todd Millstein (Ed.)

3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018) Volume 108, FSCD 2018, July 9-12, 2018 - Oxford, UK Hélène Kirchner (Ed.)

45th International Colloquium on Automata, Languages, and Programming (ICALP 2018) Volume 107, ICALP 2018, July 9-13, 2018 - Prague, Czech Republic Ioannis Chatzigiannakis and Christos Kaklamanis and Dániel Marx and Donald Sannella (Eds.)

30th Euromicro Conference on Real-Time Systems (ECRTS 2018) Volume 106, ECRTS 2018, July 3-6, 2018 - Barcelona, Spain Sebastian Altmeyer (Ed.)

Annual Symposium on Combinatorial Pattern Matching (CPM 2018) Volume 105, CPM 2018, July 2-4, 2018 - Qingdao, China Gonzalo Navarro and David Sankoff and Binhai Zhu (Eds.)

23rd International Conference on Types for Proofs and Programs (TYPES 2017) Volume 104, TYPES 2017, May 29 to June 1, 2017 - Budapest, Hungary Andreas Abel and Fredrik Nordvall Forsberg and Ambrus Kaposi (Eds.)

17th International Symposium on Experimental Algorithms (SEA 2018) Volume 103, SEA 2018, June 27-29, 2018 - L'Aquila, Italy Gianlorenzo D'Angelo (Ed.)

33rd Computational Complexity Conference (CCC 2018) Volume 102, CCC 2018, June 22-24, 2018 - San Diego, CA, USA Rocco A. Servedio (Ed.)

16th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT 2018) Volume 101, SWAT 2018, June 18-20, 2018 - Malmö, Sweden David Eppstein (Ed.)

9th International Conference on Fun with Algorithms (FUN 2018) Volume 100, FUN 2018, June 13-15, 2018 - La Maddalena, Italy Hiro Ito and Stefano Leonardi and Linda Pagli and Giuseppe Prencipe (Eds.)

34th International Symposium on Computational Geometry (SoCG 2018) Volume 99, SoCG 2018, June 11-14, 2018 - Budapest, Hungary Bettina Speckmann and Csaba D. Tóth (Eds.)

21st International Conference on Database Theory (ICDT 2018) Volume 98, ICDT 2018, March 26-29, 2018 - Vienna, Austria Benny Kimelfeld and Yael Amsterdamer (Eds.)

22nd International Conference on Types for Proofs and Programs (TYPES 2016) Volume 97, TYPES 2016, May 23-26, 2016 - Novi Sad, Serbia Silvia Ghilezan and Herman Geuvers and Jelena Ivetić (Eds.)

35th Symposium on Theoretical Aspects of Computer Science (STACS 2018) Volume 96, STACS 2018, February 28 to March 3, 2018 - Caen, France Rolf Niedermeier and Brigitte Vallée (Eds.)

21st International Conference on Principles of Distributed Systems (OPODIS 2017) Volume 95, OPODIS 2017, December 18-20, 2017 - Lisbon, Portugal James Aspnes and Alysson Bessani and Pascal Felber and João Leitão (Eds.)

9th Innovations in Theoretical Computer Science Conference (ITCS 2018) Volume 94, ITCS 2018, January 11-14, 2018 - Cambridge, MA, USA Anna R. Karlin (Ed.)

37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017) Volume 93, FSTTCS 2017, December 11-15, 2017 - Kanpur, India Satya Lokam and R. Ramanujam (Eds.)

28th International Symposium on Algorithms and Computation (ISAAC 2017) Volume 92, ISAAC 2017, December 9-12, 2017 - Phuket, Thailand Yoshio Okamoto and Takeshi Tokuyama (Eds.)

31st International Symposium on Distributed Computing (DISC 2017) Volume 91, DISC 2017, October 16-20, 2017 - Vienna, Austria Andréa W. Richa (Ed.)

24th International Symposium on Temporal Representation and Reasoning (TIME 2017) Volume 90, TIME 2017, October 16-18, 2017 - Mons, Belgium Sven Schewe and Thomas Schneider and Jef Wijsen (Eds.)

12th International Symposium on Parameterized and Exact Computation (IPEC 2017) Volume 89, IPEC 2017, September 6-8, 2017 - Vienna, Austria Daniel Lokshtanov and Naomi Nishimura (Eds.)

17th International Workshop on Algorithms in Bioinformatics (WABI 2017) Volume 88, WABI 2017, August 21-23, 2017 - Boston, MA, USA Russell Schwartz and Knut Reinert (Eds.)

25th Annual European Symposium on Algorithms (ESA 2017) Volume 87, ESA 2017, September 4-6, 2017 - Vienna, Austria Kirk Pruhs and Christian Sohler (Eds.)

13th International Conference on Spatial Information Theory (COSIT 2017) Volume 86, COSIT 2017, September 4-8, 2017 - L'Aquila, Italy Eliseo Clementini and Maureen Donnelly and May Yuan and Christian Kray and Paolo Fogliaroni and Andrea Ballatore (Eds.)

28th International Conference on Concurrency Theory (CONCUR 2017) Volume 85, CONCUR 2017, September 5-8, 2017 - Berlin, Germany Roland Meyer and Uwe Nestmann (Eds.)

2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017) Volume 84, FSCD 2017, September 3-9, 2017 - Oxford, UK Dale Miller (Ed.)

42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) Volume 83, MFCS 2017, August 21-25, 2017 - Aalborg, Denmark Kim G. Larsen and Hans L. Bodlaender and Jean-Francois Raskin (Eds.)

26th EACSL Annual Conference on Computer Science Logic (CSL 2017) Volume 82, CSL 2017, August 20-24, 2017 - Stockholm, Sweden Valentin Goranko and Mads Dam (Eds.)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2017) Volume 81, APPROX/RANDOM 2017, August 16-18, 2017 - Berkeley, CA, USA Klaus Jansen and José D. P. Rolim and David Williamson and Santosh S. Vempala (Eds.)

44th International Colloquium on Automata, Languages, and Programming (ICALP 2017) Volume 80, ICALP 2017, July 10-14, 2017 - Warsaw, Poland Ioannis Chatzigiannakis and Piotr Indyk and Fabian Kuhn and Anca Muscholl (Eds.)

32nd Computational Complexity Conference (CCC 2017) Volume 79, CCC 2017, July 6-9, 2017 - Riga, Latvia Ryan O'Donnell (Ed.)

28th Annual Symposium on Combinatorial Pattern Matching (CPM 2017) Volume 78, CPM 2017, July 4-6, 2017 - Warsaw, Poland Juha Kärkkäinen and Jakub Radoszewski and Wojciech Rytter (Eds.)

33rd International Symposium on Computational Geometry (SoCG 2017) Volume 77, SoCG 2017, July 4-7, 2017 - Brisbane, Australia Boris Aronov and Matthew J. Katz (Eds.)

29th Euromicro Conference on Real-Time Systems (ECRTS 2017) Volume 76, ECRTS 2017, June 27-30, 2017 - Dubrovnik, Croatia Marko Bertogna (Ed.)

16th International Symposium on Experimental Algorithms (SEA 2017) Volume 75, SEA 2017, June 21-23, 2017 - London, UK Costas S. Iliopoulos and Solon P. Pissis and Simon J. Puglisi and Rajeev Raman (Eds.)

31st European Conference on Object-Oriented Programming (ECOOP 2017) Volume 74, ECOOP 2017, June 19-23, 2017 - Barcelona, Spain Peter Müller (Ed.)

12th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2017) Volume 73, TQC 2017, June 14-16, 2017 - Paris, France Mark M. Wilde (Ed.)

7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017) Volume 72, CALCO 2017, June 12-16, 2017 - Ljubljana, Slovenia Filippo Bonchi and Barbara König (Eds.)

2nd Summit on Advances in Programming Languages (SNAPL 2017) Volume 71, SNAPL 2017, May 7-10, 2017 - Asilomar, CA, USA Benjamin S. Lerner and Rastislav Bodík and Shriram Krishnamurthi (Eds.)

20th International Conference on Principles of Distributed Systems (OPODIS 2016) Volume 70, OPODIS 2016, December 13-16, 2016 - Madrid, Spain Panagiota Fatourou and Ernesto Jiménez and Fernando Pedone (Eds.)

21st International Conference on Types for Proofs and Programs (TYPES 2015) Volume 69, TYPES 2015, May 18-21, 2015 - Tallinn, Estonia Tarmo Uustalu (Ed.)

20th International Conference on Database Theory (ICDT 2017) Volume 68, ICDT 2017, March 21-24, 2017 - Venice, Italy Michael Benedikt and Giorgio Orsi (Eds.)

8th Innovations in Theoretical Computer Science Conference (ITCS 2017) Volume 67, ITCS 2017, January 9-11, 2017 - Berkeley, CA, USA Christos H. Papadimitriou (Ed.)

34th Symposium on Theoretical Aspects of Computer Science (STACS 2017) Volume 66, STACS 2017, March 8-11, 2017 - Hannover, Germany Heribert Vollmer and Brigitte Vallée (Eds.)

36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016) Volume 65, FSTTCS 2016, December 13-15, 2016 - Chennai, India Akash Lal and S. Akshay and Saket Saurabh and Sandeep Sen (Eds.)

27th International Symposium on Algorithms and Computation (ISAAC 2016) Volume 64, ISAAC 2016, December 12-14, 2016 - Sydney, Australia Seok-Hee Hong (Ed.)

11th International Symposium on Parameterized and Exact Computation (IPEC 2016) Volume 63, IPEC 2016, August 24-26, 2016 - Aarhus, Denmark Jiong Guo and Danny Hermelin (Eds.)

25th EACSL Annual Conference on Computer Science Logic (CSL 2016) Volume 62, CSL 2016, August 29 to September 1, 2016 - Marseille, France Jean-Marc Talbot and Laurent Regnier (Eds.)

11th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2016) Volume 61, TQC 2016, September 27-29, 2016 - Berlin, Germany Anne Broadbent (Ed.)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2016) Volume 60, APPROX/RANDOM 2016, September 7-9, 2016 - Paris, France Klaus Jansen and Claire Mathieu and José D. P. Rolim and Chris Umans (Eds.)

27th International Conference on Concurrency Theory (CONCUR 2016) Volume 59, CONCUR 2016, August 23-26, 2016 - Québec City, Canada Josée Desharnais and Radha Jagadeesan (Eds.)

41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016) Volume 58, MFCS 2016, August 22-26, 2016 - Kraków, Poland Piotr Faliszewski and Anca Muscholl and Rolf Niedermeier (Eds.)

24th Annual European Symposium on Algorithms (ESA 2016) Volume 57, ESA 2016, August 22-24, 2016 - Aarhus, Denmark Piotr Sankowski and Christos Zaroliagis (Eds.)

30th European Conference on Object-Oriented Programming (ECOOP 2016) Volume 56, ECOOP 2016, July 18-22, 2016 - Rome, Italy Shriram Krishnamurthi and Benjamin S. Lerner (Eds.)

43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016) Volume 55, ICALP 2016, July 11-15, 2016 - Rome, Italy Ioannis Chatzigiannakis and Michael Mitzenmacher and Yuval Rabani and Davide Sangiorgi (Eds.)

27th Annual Symposium on Combinatorial Pattern Matching (CPM 2016) Volume 54, CPM 2016, June 27-29, 2016 - Tel Aviv, Israel Roberto Grossi and Moshe Lewenstein (Eds.)

15th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT 2016) Volume 53, SWAT 2016, June 22-24, 2016 - Reykjavik, Iceland Rasmus Pagh (Ed.)

1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016) Volume 52, FSCD 2016, June 22-26, 2016 - Porto, Portugal Delia Kesner and Brigitte Pientka (Eds.)

32nd International Symposium on Computational Geometry (SoCG 2016) Volume 51, SoCG 2016, June 14-18, 2016 - Boston, USA Sándor Fekete and Anna Lubiw (Eds.)

31st Conference on Computational Complexity (CCC 2016) Volume 50, CCC 2016, May 29 to June 1, 2016 - Tokyo, Japan Ran Raz (Ed.)

8th International Conference on Fun with Algorithms (FUN 2016) Volume 49, FUN 2016, June 8-10, 2016 - La Maddalena, Italy Erik D. Demaine and Fabrizio Grandoni (Eds.)

19th International Conference on Database Theory (ICDT 2016) Volume 48, ICDT 2016, March 15-18, 2016 - Bordeaux, France Wim Martens and Thomas Zeume (Eds.)

33rd Symposium on Theoretical Aspects of Computer Science (STACS 2016) Volume 47, STACS 2016, February 17-20, 2016 - Orléans, France Nicolas Ollinger and Heribert Vollmer (Eds.)

19th International Conference on Principles of Distributed Systems (OPODIS 2015) Volume 46, OPODIS 2015, December 14-17, 2015 - Rennes, France Emmanuelle Anceaume and Christian Cachin and Maria Potop-Butucaru (Eds.)

35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2015) Volume 45, FSTTCS 2015, December 16-18, 2015 - Bangalore, India Prahladh Harsha and G. Ramalingam (Eds.)

10th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2015) Volume 44, TQC 2015, May 20-22, 2015 - Brussels, Belgium Salman Beigi and Robert Koenig (Eds.)

10th International Symposium on Parameterized and Exact Computation (IPEC 2015) Volume 43, IPEC 2015, September 16-18, 2015 - Patras, Greece Thore Husfeldt and Iyad Kanj (Eds.)

26th International Conference on Concurrency Theory (CONCUR 2015) Volume 42, CONCUR 2015, September 1-4, 2015 - Madrid, Spain Luca Aceto and David de Frutos Escrig (Eds.)

24th EACSL Annual Conference on Computer Science Logic (CSL 2015) Volume 41, CSL 2015, September 7-10, 2015 - Berlin, Germany Stephan Kreutzer (Ed.)

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2015) Volume 40, APPROX/RANDOM 2015, August 24-26, 2015 - Princeton, USA Naveen Garg and Klaus Jansen and Anup Rao and José D. P. Rolim (Eds.)

20th International Conference on Types for Proofs and Programs (TYPES 2014) Volume 39, TYPES 2014, May 12-15, 2014 - Paris, France Hugo Herbelin and Pierre Letouzey and Matthieu Sozeau (Eds.)

13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) Volume 38, TLCA 2015, July 1-3, 2015 - Warsaw, Poland Thorsten Altenkirch (Ed.)

29th European Conference on Object-Oriented Programming (ECOOP 2015) Volume 37, ECOOP 2015, July 5-10, 2015 - Prague, Czech Republic John Tang Boyland (Ed.)

26th International Conference on Rewriting Techniques and Applications (RTA 2015) Volume 36, RTA 2015, June 29 to July 1, 2015 - Warsaw, Poland Maribel Fernández (Ed.)

6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015) Volume 35, CALCO 2015, June 24-26, 2015 - Nijmegen, The Netherlands Lawrence S. Moss and Pawel Sobocinski (Eds.)

31st International Symposium on Computational Geometry (SoCG 2015) Volume 34, SoCG 2015, June 22-25, 2015 - Eindhoven, The Netherlands Lars Arge and János Pach (Eds.)

30th Conference on Computational Complexity (CCC 2015) Volume 33, CCC 2015, June 17-19, 2015 - Portland, Oregon, USA David Zuckerman (Ed.)

1st Summit on Advances in Programming Languages (SNAPL 2015) Volume 32, SNAPL 2015, May 3-6, 2015 - Asilomar, California, US Thomas Ball and Rastislav Bodik and Shriram Krishnamurthi and Benjamin S. Lerner and Greg Morrisett (Eds.)

18th International Conference on Database Theory (ICDT 2015) Volume 31, ICDT 2015, March 23-27, 2015 - Brussels, Belgium Marcelo Arenas and Martín Ugarte (Eds.)

32nd International Symposium on Theoretical Aspects of Computer Science (STACS 2015) Volume 30, STACS 2015, March 4-7, 2015 - Garching, Germany Ernst W. Mayr and Nicolas Ollinger (Eds.)

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

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

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

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

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

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

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