 |
 |
Completed Special Issues
Warning: Do not edit this page manually. This page has been generated by ./gen-si-page.py auto-volumes-db.ini manual-adjustments.ini on 2026-04-14T15:24:04.270814 and any manual changes will be overwritten!Special issues completed so far, grouped by year. Click on a year to expand.
2023 (6 Volumes)
Selected Papers of the 14th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023)
Editors: Dario Della Monica and Antonis Achilleos
Selected Papers of the 31st EACSL Annual Conference on Computer Science Logic (CSL 2023)
Editors: Elaine Pimentel, Bartek Klin
Selected Papers of the 26th International Conference on Database Theory (ICDT 2023)
Editors: Floris Geerts and Brecht Vandevoort
Selected Papers of the 43rd International Conference on Formal Techniques for Distributed Objects, Components and Systems and the 25th International Conference on Coordination Models and Languages (FORTE and COORDINATION 2023)
Editors: Marieke Huisman, Sung-Shik Jongmans, Antonia Lopes, and Antonio Ravara
Selected Papers of the 16th International Conference on Graph Transformation (ICGT 2023)
Editors: Maribel Fernandez, Christopher Michael Poskitt
Selected Papers of the 10th Conference on Algebra and Coalgebra in Computer Science (CALCO 2023)
Editors: Paolo Baldan, Valeria De Paiva
2022 (9 Volumes)
Selected Papers of the 25th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2022)
Editors: Patricia Bouyer and Lutz Schroeder
Selected Papers of the 25th International Conference on Database Theory (ICDT 2022)
Editors: Dan Olteanu, Reinhard Pichler
Selected Papers of the 30th EACSL Annual Conference on Computer Science Logic (CSL 2022)
Editors: Florin Manea, Alex Simpson
Selected Papers of the 24th International Conference on Coordination Models and Languages (COORDINATION 2022)
Editors: Maurice ter Beek, Marjan Sirjani
Selected Papers of the 39th International Symposium on Theoretical Aspects of Computer Science (STACS 2022) - Track B
Editors: Petra Berenbrink, Benjamin Monmege
Selected Papers of the 42nd International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2022)
Editors: Anna Philippou and Mohammad Mousavi
Selected Papers of the 7th International Conference on Formal Structures and Deduction (FSCD 2022)
Editors: Amy Felty and Georg Moser
Selected Papers of the 33rd International Conference on Concurrency Theory (CONCUR 2022)
Editors: Bartek Klin, Sławomir Lasota, Anca Muscholl
Selected Papers of the 13th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2022)
Editors: Dario Della Monica, Pierre Ganty
2021 (10 Volumes)
Special Issue dedicated to Jos Baeten on the occasion of his retirement
Editors: Wan Fokkink and Michel Reniers
Selected Papers of the 24th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2021)
Editors: Stefan Kiefer, Christine Tasson
Selected Papers of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021)
Editors: Jan Friso Groote, Kim Guldstrand Larsen
Selected Papers of the 23rd International Conference on Coordination Models and Languages (COORDINATION 2021)
Editors: Ferruccio Damiani, Ornela Dardha
Selected Papers of the 6th International Conference on Formal Structures and Deduction (FSCD 2021)
Editors: Naoki Kobayashi, Mauricio Ayala Rincon
Selected Papers of the 41st International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2021)
Editors: Tim Willemse and Kirstin Peters
Selected Papers of the 9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021)
Editors: Fabio Gadducci, Alexandra Silva
Selected Papers of the 32nd International Conference on Concurrency Theory (CONCUR 2021)
Editors: Serge Haddad and Daniele Varacca
Selected Papers of the 12th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021)
Editors: Davide Bresolin, Pierre Ganty
Selected Papers of the 19th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2021)
Editors: Luigi Santocanale, Uli Fahrenberg
2020 (8 Volumes)
Selected Papers of the 28th EACSL Annual Conference on Computer Science Logic (CSL 2020)
Editors: Anca Muscholl, Maribel Fernandez
Selected Papers of the 23rd International Conference on Database Theory (ICDT 2020)
Editors: Jean Christoph Jung, Carsten Lutz
Selected Papers of the 22nd International Conference on Coordination Models and Languages (COORDINATION 2020)
Editors: Simon Bliudze, Laura Bocchi
Selected Papers of the 10th International Joint Conference on Automated Reasoning (IJCAR 2020)
Editors: Nicolas Peltier, Viorica Sofronie-stokkermans
Selected Papers of the 5th International Conference on Formal Structures and Deduction (FSCD 2020)
Editors: Zena Ariola, Delia Kesner
Selected Papers of the 23rd International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2020)
Editors: Jean Goubault-Larrecq, Barbara Koenig
Selected Papers of the 40th International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2020)
Editors: Ana Sokolova and Alexey Gotsman
Selected Papers of the 31st International Conference on Concurrency Theory (CONCUR 2020)
Editors: Igor Konnov and Laura Kovacs
2019 (8 Volumes)
Special Issue in Memory of Zoltán Ésik
Editors: Luca Aceto, Arnaud Carayol, Anna Ingólfsdóttir
Selected Papers of the 39th International Conference on Formal Techniques for Distributed Objects, Components and Systems (FORTE 2019)
Editors: Jorge A. Pérez and Nobuko Yoshida
Selected Papers of the 21st International Conference on Coordination Models and Languages (COORDINATION 2019)
Editors: Emilio Tuosto, Hanne Riis Nielsen
Selected Papers of the 30th International Conference on Concurrency Theory (CONCUR 2019)
Editors: W. J. Fokkink and Rob van Glabbeek.
Selected Papers of the 4th International Conference on Formal Structures and Deduction (FSCD 2019)
Editors: Herman Geuvers, Femke van Raamsdonk
Selected Papers of the 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019)
Editors: Ana Sokolova, Markus Roggenbach
Selected Papers of the 34th and 35th ACM/IEEE Symposium on Logic in Computer Science (LICS 2019 and 2020)
Editors: Anuj Dawar, Naoki Kobayashi, Orna Kupferman, and Prakash Panangaden
Selected Papers of the Conference "Continuity, Computability, Constructivity: From Logic to Algorithms" (CCC 2019 and 2020)
Editors: Daniel Graca, Alex Simpson
2018 (6 Volumes)
Special Festschrift Issue in Honor of Furio Honsell
Editors: Marina Lenisa and Marino Miculan
Selected Papers of the 3rd International Conference on Formal Structures and Deduction (FSCD 2018)
Editors: Hélène Kirchner, Paula Severi
Selected Papers of the 27th EACSL Annual Conference on Computer Science Logic (CSL 2018)
Editors: Dan Ghica, Achim Jung
Selected Papers of the Conference "Continuity, Computability, Constructivity: From Logic to Algorithms" (CCC 2018)
Editors: Daniel Graça, Mathieu Hoyrup, Dieter Spreen, Hideki Tsuiki, Martin A. Ziegler
Special Issue in Memory of Corrado Böhm
Editors: Henk Barendregt, Mariangiola Dezani, Benedetto Intrigila
Selected Papers of the 33rd ACM/IEEE Symposium on Logic in Computer Science (LICS 2018)
Editors: Anuj Dawar, Erich Grädel
2017 (9 Volumes)
Selected Papers of the 7th Conference on Algebra and Coalgebra in Computer Science (CALCO 2017)
Editors: Filippo Bonchi, Barbara König
Selected Papers of the 44th International Colloquium on Automata, Languages and Programming (ICALP 2017) - Track B
Editors: Anuj Dawar, Anca Muscholl, Catuscia Palamidessi
Selected Papers of the 33rd Conference on the Mathematical Foundations of Programming Semantics (MFPS 2017)
Editors: Achim Jung, Alexandra Silva
Selected Papers of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017)
Editors: Javier Esparza, Andrzej Murawski
Selected Papers of the 26th EACSL Annual Conference on Computer Science Logic (CSL 2017)
Editors: Mads Dam, Valentin Goranko
Selected Papers of the 2nd International Conference on Formal Structures and Deduction (FSCD 2017)
Editors: Dale Miller, Ugo Dal Lago
Selected Papers of the 32nd ACM/IEEE Symposium on Logic in Computer Science (LICS 2017)
Editors: Stefan Milius, Joël Ouaknine
Selected Papers of the 28th International Conference on Concurrency Theory (CONCUR 2017)
Editors: Roland Meyer, Uwe Nestmann
Selected Papers of the Conference "Continuity, Computability, Constructivity: From Logic to Algorithms" (CCC 2017)
Editors: Ulrich Berger, Pieter Collins, Mathieu Hoyrup, Victor Selivanov, Dieter Spreen, Martin A. Ziegler
2016 (6 Volumes)
Selected Papers of the 8th International Joint Conference on Automated Reasoning (IJCAR 2016)
Editors: Nicola Olivetti and Ashish Tiwari
Selected Papers of the 36th International Conference on Formal Techniques for Distributed Objects, Components and Systems and the 18th International Conference on Coordination Models and Languages (FORTE and COORDINATION 2016)
Editors: Elvira Albert, Ivan Lanese, Alberto Lluch Lafuente and José Proença
Selected Papers of the 1st International Conference on Formal Structures and Deduction (FSCD 2016)
Editors: Delia Kesner and Brigitte Pientka
Selected Papers of the 27th International Conference on Concurrency Theory (CONCUR 2016)
Editors: Franck van Breugel, Josée Desharnais, Radha Jagadeesan, Catuscia Palamidessi, Ana Sokolova
Special Festschrift Issue in Honor of Jiří Adámek
Editors: Stefan Milius and Lawrence Moss
Selected Papers of the 25th EACSL Annual Conference on Computer Science Logic (CSL 2016)
Editors: Jean-Marc Talbot, Laurent Regnier
2015 (7 Volumes)
Selected Papers of the 30th and 31st ACM/IEEE Symposium on Logic in Computer Science (LICS 2015 and 2016)
Editors: Catuscia Palamidessi, Natarajan Shankar, Alexandra Silva
Selected Papers of the Conference "Continuity, Computability, Constructivity: From Logic to Algorithms" (CCC 2015)
Editors: Ulrich Berger, Willem Fouché, Arno Pauly, Dieter Spreen, Martin A. Ziegler
Selected Papers of the 26th International Conference on Rewriting Techniques and Applications and the 13th International Conference on Typed Lambda Calculus and Applications (RTA and TLCA 2015)
Editors: Thorsten Altenkirch, Maribel Fernández
Selected Papers of the 35th International Conference on Formal Techniques for Distributed Objects, Components and Systems and the 17th International Conference on Coordination Models and Languages (FORTE and COORDINATION 2015)
Editors: Susanne Graf, Tom Holvoet, Viswanathan Mahesh, Mirko Viroli
Selected Papers of the 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015)
Editors: Lawrence S. Moss, Paweł Sobociński
Selected Papers of the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015)
Editors: Thomas Colcombet, Andrew M. Pitts, Daniele Varacca
Special Issue on Domain Theory and its Applications
Editors: Michel Schellekens, Achim Jung
2014 (4 Volumes)
Selected Papers of the 34th International Conference on Formal Techniques for Distributed Objects, Components and Systems and the 16th International Conference on Coordination Models and Languages (FORTE and COORDINATION 2014)
Editors: Erika Abraham, Eva Kühn, Catuscia Palamidessi, Rosario Pugliese, Vladimiro Sassone
Selected Papers of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014)
Editors: Erika Abraham, Klaus Havelund
Selected Papers of the 23rd EACSL Annual Conference on Computer Science Logic and the 29th ACM/IEEE Symposium on Logic in Computer Science (CSL and LICS 2014)
Editors: Thomas A Henzinger, Dale Miller
2013 (6 Volumes)
Selected Papers of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013)
Editors: Nir Piterman, Scott A. Smolka
Selected Papers of the 10th International Conference on Computability and Complexity in Analysis (CCA 2013)
Editors: Martín Escardó, Mathieu Hoyrup, Ker-I Ko, Robert Rettinger, Ning Zhong
Selected Papers of the 11th Conference on Typed Lambda Calculi and Applications (TLCA 2013)
Editors: Herman Geuvers, Masahito Hasegawa, Paul-André Melliès
Selected Papers of the 5th Conference on Algebra and Coalgebra in Computer Science (CALCO 2013)
Editors: Stefan Milius, Reiko Heckel
Selected Papers of the 24th International Conference on Concurrency Theory (CONCUR 2013)
Editors: Pedro R. D'Argenio, Davide Sangiorgi, Hernán Melgratti
2012 (7 Volumes)
Selected Papers of the Turing Centenary Conference (CiE 2012)
Editors: Arnold Beckmann, Anuj Dawar
Selected Papers of the 9th International Conference on Computability and Complexity in Analysis (CCA 2012)
Editors: Klaus Weihrauch, Arno Pauly, Martín Escardó, Matthias Schröder
Selected Papers of the 26th International Workshop on Computer Science Logic and the 21st Annual Conference of the EACSL (CSL 2012)
Editor: Arnaud Durand
Selected Papers of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012)
Editors: Cormac Flanagan, Barbara König
Selected Papers of the 23rd International Conference on Concurrency Theory (CONCUR 2012)
Editors: Irek Ulidowski, Maciej Koutny
Selected Papers of the 15th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2012)
Editors: Luca Aceto, Andrzej Tarlecki, Lars Birkedal
Special Festschrift Issue in Honor of Dieter Spreen
Editors: Ulrich Berger, Hannes Diener, Norbert Müller
2011 (8 Volumes)
Selected Papers of the 4th Conference on Algebra and Coalgebra in Computer Science (CALCO 2011)
Editors: Bartek Klin, Andrzej Tarlecki
Selected Papers of the 26th IEEE Symposium on Logic in Computer Science (LICS 2011)
Editors: Martin Grohe, Patrick Baillot, Stephan Kreutzer
Selected Papers of the 25th International Workshop on Computer Science Logic and the 20th Annual Conference of the EACSL (CSL 2011)
Editors: Pawel Urzyczyn, Marc Bezem
Selected Papers of the 8th Conference on Computability and Complexity in Analysis (CCA 2011)
Editors: Vasco Brattka, Peter Hertling, Margaret Archibald
Selected Papers of the 20th European Symposium on Programming (ESOP 2011)
Editors: Frank Piessens, Gilles Barthe, Andrew Gordon
Selected Papers of the 22nd International Conference on Concurrency Theory (CONCUR 2011)
Editors: J.-P. Katoen and B. König
Selected Papers of the 22nd International Conference on Rewriting Techniques and Applications (RTA 2011)
Editors: Aart Middeldorp, Manfred Schmidt-Schauss
2010 (8 Volumes)
Selected Papers of the 13th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2010)
Editor: Luke Ong
Selected Papers of the 19th European Symposium on Programming (ESOP 2010)
Editors: Andrew Gordon, Michael Hicks
Selected Papers of the 21st International Conference on Rewriting Techniques and Applications (RTA 2010)
Editors: Christopher A. Lynch, Hubert Comon-Lundh
Selected Papers of the 25th IEEE Symposium on Logic in Computer Science (LICS 2010)
Editors: Anca Muscholl, Martín Escardó, Jean-Pierre Jouannaud
Selected Papers of the 24th International Workshop on Computer Science Logic and the 19th Annual Conference of the EACSL (CSL 2010)
Editors: Anuj Dawar, Helmut Veith
Special Issue on Types for Proofs and Programs
Editors: Henk Barendregt, Pawel Urzyczyn
Selected Papers of the 13th International Conference on Database Theory (ICDT 2010)
Editor: Luc Segoufin
Selected Papers of the 7th Conference on Computability and Complexity in Analysis (CCA 2010)
Editors: Ning Zhong, Xizhong Zheng, S. Barry Cooper, Klaus Weihrauch
2009 (9 Volumes)
Selected Papers of the 23rd International Workshop on Computer Science Logic and the 18th Annual Conference of the EACSL (CSL 2009)
Editors: Reinhard Kahle, Erich Grädel
Selected Papers of the 36th International Colloquium on Automata, Languages and Programming (ICALP 2009)
Editor: Wolfgang Thomas
Selected Papers of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009)
Editor: Anna Philippou
Selected Papers of the 9th Conference on Typed Lambda Calculi and Applications (TLCA 2009)
Editor: Pierre-Louis Curien
Selected Papers of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009)
Editor: Martin Giese
Selected Papers of the 20th International Conference on Rewriting Techniques and Applications (RTA 2009)
Editors: Ralf Treinen, Jean Goubault-Larrecq
Selected Papers of the 24th IEEE Symposium on Logic in Computer Science (LICS 2009)
Editors: Nir Piterman, Andrew M Pitts, Radha Jagadeesan
Selected Papers of the 3rd Conference on Algebra and Coalgebra in Computer Science (CALCO 2009)
Editors: Alexander Kurz, Andrzej Tarlecki
Selected Papers of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2009)
Editors: Nick Benton, Patricia Johann, Andrzej Tarlecki
2008 (2 Volumes)
Selected Papers of the 35th International Colloquium on Automata, Languages and Programming (ICALP 2008)
Editors: Giuseppe Castagna, Igor Walukiewicz, Andrzej Tarlecki
2007 (5 Volumes)
Selected Papers of the 8th Conference on Typed Lambda Calculi and Applications (TLCA 2007)
Editor: Simona Ronchi Della Rocca
Selected Papers of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007)
Editors: Andrew M Pitts, Erich Grädel, Luke Ong
Selected Papers of the 2nd Conference on Algebra and Coalgebra in Computer Science (CALCO 2007)
Editor: Till Mossakowski
Selected Papers of the 10th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2007)
Editor: Helmut Seidl
Selected Papers of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007)
Editors: Michael R A Huth, Orna Grumberg
2006 (4 Volumes)
Selected Papers of the 33rd International Colloquium on Automata, Languages and Programming (ICALP 2006)
Editors: Vladimiro Sassone, Michele Bugliesi, Colin Stirling
Selected Papers of the 20th International Workshop on Computer Science Logic and the 15th Annual Conference of the EACSL (CSL 2006)
Editors: Zoltan Esik, R. Ramanujam
Selected Papers of the 21st IEEE Symposium on Logic in Computer Science (LICS 2006)
Editors: Wolfgang Thomas, Rajeev Alur
Selected Papers of the 3rd International Joint Conference on Automated Reasoning (IJCAR 2006)
Editor: Shankar Natarajan
2005 (2 Volumes)
Selected Papers of the 17th Conference on Computer Aided Verification (CAV 2005)
Editors: Kousha Etessami, Sriram K. Rajamani
Selected Papers of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005)
Editor: Prakash Panangaden
2004 (1 Volume)
Selected Papers of the 19th IEEE Symposium on Logic in Computer Science (LICS 2004)
Editors: Andrei Voronkov, Leonid Libkin