![]() |
![]() |
ISSN 1868-8969![]() |
29th International Conference on Principles and Practice of Constraint Programming (CP 2023) Volume 280, CP 2023, August 27-31, 2023, Toronto, Canada Roland H. C. Yap (Ed.) |
34th International Conference on Concurrency Theory (CONCUR 2023) Volume 279, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium Guillermo A. Pérez and Jean-François Raskin (Eds.) |
29th International Conference on DNA Computing and Molecular Programming (DNA 29) Volume 276, DNA 29, September 11-15, 2023, Tohoku University, Sendai, Japan Ho-Lin Chen and Constantine G. Evans (Eds.) |
23rd International Workshop on Algorithms in Bioinformatics (WABI 2023) Volume 273, WABI 2023, September 4-6, 2023, Houston, TX, USA Djamal Belazzougui and Aïda Ouangraoua (Eds.) |
26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023) Volume 271, SAT 2023, July 4-8, 2023, Alghero, Italy Meena Mahajan and Friedrich Slivovsky (Eds.) |
10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023) Volume 270, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA Paolo Baldan and Valeria de Paiva (Eds.) |
28th International Conference on Types for Proofs and Programs (TYPES 2022) Volume 269, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France Delia Kesner and Pierre-Marie Pédrot (Eds.) |
14th International Conference on Interactive Theorem Proving (ITP 2023) Volume 268, ITP 2023, July 31 to August 4, 2023, Białystok, Poland Adam Naumowicz and René Thiemann (Eds.) |
4th Conference on Information-Theoretic Cryptography (ITC 2023) Volume 267, ITC 2023, June 6-8, 2023, Aarhus University, Aarhus, Denmark Kai-Min Chung (Ed.) |
18th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2023) Volume 266, TQC 2023, July 24-28, 2023, Aveiro, Portugal Omar Fawzi and Michael Walter (Eds.) |
21st International Symposium on Experimental Algorithms (SEA 2023) Volume 265, SEA 2023, July 24-26, 2023, Barcelona, Spain Loukas Georgiadis (Ed.) |
38th Computational Complexity Conference (CCC 2023) Volume 264, CCC 2023, July 17-20, 2023, Warwick, UK Amnon Ta-Shma (Ed.) |
37th European Conference on Object-Oriented Programming (ECOOP 2023) Volume 263, ECOOP 2023, July 17-21, 2023, Seattle, Washington, United States Karim Ali and Guido Salvaneschi (Eds.) |
35th Euromicro Conference on Real-Time Systems (ECRTS 2023) Volume 262, ECRTS 2023, July 11-14, 2023, Vienna, Austria Alessandro V. Papadopoulos (Ed.) |
8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023) Volume 260, FSCD 2023, July 3-6, 2023, Rome, Italy Marco Gaboardi and Femke van Raamsdonk (Eds.) |
34th Annual Symposium on Combinatorial Pattern Matching (CPM 2023) Volume 259, CPM 2023, June 26-28, 2023, Marne-la-Vallée, France Laurent Bulteau and Zsuzsanna Lipták (Eds.) |
39th International Symposium on Computational Geometry (SoCG 2023) Volume 258, SoCG 2023, June 12-15, 2023, Dallas, Texas, USA Erin W. Chambers and Joachim Gudmundsson (Eds.) |
2nd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2023) Volume 257, SAND 2023, June 19-21, 2023, Pisa, Italy David Doty and Paul Spirakis (Eds.) |
4th Symposium on Foundations of Responsible Computing (FORC 2023) Volume 256, FORC 2023, June 7-9, 2023, Stanford University, California, USA Kunal Talwar (Ed.) |
26th International Conference on Database Theory (ICDT 2023) Volume 255, ICDT 2023, March 28-31, 2023, Ioannina, Greece Floris Geerts and Brecht Vandevoort (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.) |
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.) |
36th International Symposium on Distributed Computing (DISC 2022) Volume 246, DISC 2022, October 25-27, 2022, Augusta, Georgia, USA Christian Scheideler (Ed.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
3rd Symposium on Foundations of Responsible Computing (FORC 2022) Volume 218, FORC 2022, June 6-8, 2022, Cambridge, MA, USA L. Elisa Celis (Ed.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
9th Innovations in Theoretical Computer Science Conference (ITCS 2018) Volume 94, ITCS 2018, January 11-14, 2018 - Cambridge, MA, USA Anna R. Karlin (Ed.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |