 |
 |
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 2023-12-11T13:36:09.982161 and any manual changes will be overwritten!Special issues completed so far, grouped by year. Click on a year to expand.
2021 (5 Volumes)
Special Issue dedicated to Jos Baeten for his retirement
Editors: Wan Fokkink and Michel Reniers
Selected Papers of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'21)
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 32nd International Conference on Concurrency Theory (CONCUR 2021)
Editors: Serge Haddad and Daniele Varacca
2020 (8 Volumes)
Selected papers of the 28th 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 International Joint Conference on Automated Reasoning (IJCAR 2020)
Editors: Nicolas Peltier, Viorica Sofronie-stokkermans
Selected Papers of the 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020)
Editors: Zena Ariola, Delia Kesner
Selected Paper 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 (6 Volumes)
Special Issue in Honor 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 Thirty-Fourth and Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019 and 2020)
Editors: Anuj Dawar, Naoki Kobayashi, Orna Kupferman, and Prakash Panangaden
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
Special Issue for the 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 Memorizing Corrado Böhm
Editors: Henk Barendregt, Mariangiola Dezani, Benedetto Intrigila
Selected Papers of the Thirty-Third Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2018)
Editors: Anuj Dawar, Erich Grädel
2017 (9 Volumes)
Selected Papers of the 6th 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 Paper of the 33rd Conference on the Mathematical Foundations of Programming Semantics (MFPS 2017)
Editors: Achim Jung, Alexandra Silva
Selected Paper of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017)
Editors: Javier Esparza, Andrzej Murawski
Special Issue for the 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 Thirty-Second Annual 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 International Joint Conference on Automated Reasoning (IJCAR 2016)
Editors: Nicola Olivetti and Ashish Tiwari
Selected Papers of the Conferences 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
Special Issue for the Conference on Computer Science Logic (CSL) 2016
Editors: Jean-Marc Talbot, Laurent Regnier
2015 (7 Volumes)
Selected papers of the Thirtieth and Thirty-First Annual ACM/IEEE Symposia 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 joint 26th International Conference on "Rewriting Techniques and Applications" and 13th International Conference on "Typed Lambda Calculi and Applications" RTA/TLCA 2015
Editors: Thorsten Altenkirch, Maribel Fernández
Selected Papers of the Conferences 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 Paper 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 Conferences FORTE and COORDINATION 2014
Editors: Erika Abraham, Eva Kühn, Catuscia Palamidessi, Rosario Pugliese, Vladimiro Sassone
Selected Papers of the joint International Conferences on "Rewriting Techniques and Applications" and "Typed Lambda Calculi and Applications" RTA/TLCA 2014
Editor: Gilles Dowek
20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014)
Editors: Erika Abraham, Klaus Havelund
Special Issue for the Conferences on Computer Science Logic and Logic in Computer Sciences (CSL-LICS) 2014
Editors: Thomas A Henzinger, Dale Miller
2013 (6 Volumes)
Selected Papers of the Conference ''Tools and Algorithms for the Construction and Analysis of Systems'' (TACAS 2013)
Editors: Nir Piterman, Scott A. Smolka
Selected Papers of the Tenth International Conference on Computability and Complexity in Analysis (CCA 2013)
Editors: Martín Escardó, Mathieu Hoyrup, Ker-I Ko, Robert Rettinger, Ning Zhong
Selected Paper of the Conference "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 Ninth International Conference on Computability and Complexity in Analysis (CCA) 2012
Editors: Klaus Weihrauch, Arno Pauly, Martín Escardó, Matthias Schröder
Special Issue for the Conference on Computer Science Logic (CSL) 2012
Editor: Arnaud Durand
Selected papers of the conference ''Tools and Algorithms for the Construction and Analysis of Systems'': TACAS 2012
Editors: Cormac Flanagan, Barbara König
23rd International Conference on Concurrency Theory (CONCUR 2012)
Editors: Irek Ulidowski, Maciej Koutny
Selected papers of the 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 conference "Algebraic and Coalgebraic Methods in Computer Science: CALCO 2011"
Editors: Bartek Klin, Andrzej Tarlecki
Selected Articles of the Conference: Logic in Computer Science (LICS) 2011
Editors: Martin Grohe, Patrick Baillot, Stephan Kreutzer
Special Issue for the Conference on Computer Science Logic (CSL) 2011
Editors: Pawel Urzyczyn, Marc Bezem
Special Issue for the Conference "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)
Special Issue for the 13th International Conference on "FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES" FOSSACS 2010
Editor: Luke Ong
Special Issue for the 19th European Symposium on Programming "ESOP 2010"
Editors: Andrew Gordon, Michael Hicks
Selected Papers of the Conference "Rewriting Techniques and Applications RTA 2010"
Editors: Christopher A. Lynch, Hubert Comon-Lundh
Selected Papers of the Conference "Logic in Computer Science (LICS) 2010"
Editors: Anca Muscholl, Martín Escardó, Jean-Pierre Jouannaud
Selected Papers of the Conference "Computer Science Logic CSL 2010"
Editors: Anuj Dawar, Helmut Veith
Special Issue: Types for Proofs and Programs, 2010
Editors: Henk Barendregt, Pawel Urzyczyn
Special Issue for the 13th International Conference on Database Theory, ICDT 2010
Editor: Luc Segoufin
Special Issue for the "Seventh International Conference on Computability and Complexity in Analysis (CCA 2010)"
Editors: Ning Zhong, Xizhong Zheng, S. Barry Cooper, Klaus Weihrauch
2009 (9 Volumes)
Special Issue for the Conference on Computer Science Logic CSL 2009
Editors: Reinhard Kahle, Erich Grädel
Selected Papers of the International Colloquium on Automata, Languages and Programming 2009
Editor: Wolfgang Thomas
Fifteenth International Conference on "Tools and Algorithms for the Construction and Analysis of Systems TACAS 2009"
Editor: Anna Philippou
Selected Papers of the Conference "Typed Lambda Calculi and Applications 2009"
Editor: Pierre-Louis Curien
Special Issue of the Conference "Automated Reasoning with Analytic Tableaux and Related Methods 2009"
Editor: Martin Giese
Special Issue of the 20th International Conference on Rewriting Techniques and Applications 2009
Editors: Ralf Treinen, Jean Goubault-Larrecq
Selected Papers of the Conference ''Logic in Computer Science 2009''
Editors: Nir Piterman, Andrew M Pitts, Radha Jagadeesan
Algebra and Coalgebra in Computer Science: CALCO 2009
Editors: Alexander Kurz, Andrzej Tarlecki
Special Issue of the Symposium on Principles of Programming Languages 2009
Editors: Nick Benton, Patricia Johann, Andrzej Tarlecki
2008 (2 Volumes)
Special Issue: Selected Papers of the Conference ''International Colloquium on Automata, Languages and Programming 2008''
Editors: Giuseppe Castagna, Igor Walukiewicz,Andrzej Tarlecki
2007 (5 Volumes)
Selected Papers of the Conference "Typed Lambda Calculi and Applications 2007"
Editor: Simona Ronchi Della Rocca
Selected Papers of the Conference ''Logic in Computer Science 2007"
Editors: Andrew M Pitts, Erich Grädel, Luke Ong
Selected Papers of the Conference "Algebraic and Coalgebraic Methods in Computer Science 2007"
Editor: Till Mossakowski
Selected Papers of the Conference ''Foundations of Software Science and Computation Structures 2007"
Editor: Helmut Seidl
Selected Papers of the Conference ''Tools and Algorithms for the Construction and Analysis of Systems 2007''
Editors: Michael R A Huth, Orna Grumberg
2006 (4 Volumes)
Selected Papers of the Conference ''International Colloquium on Automata, Languages and Programming 2006''
Editors: Vladimiro Sassone, Michele Bugliesi, Colin Stirling
Selected Papers of the Conference "Computer Science Logic 2006"
Editors: Zoltan Esik, R. Ramanujam
Selected Papers of the Conference ''Logic in Computer Science 2006''
Editors: Wolfgang Thomas, Rajeev Alur
Selected Papers of "International Joint Conference on Automated Reasoning 2006"
Editor: Shankar Natarajan
2005 (2 Volumes)
Selected Papers of the Conference ''Computer Aided Verification 2005''
Editors: Kousha Etessami, Sriram K. Rajamani
Selected Papers of the 2005 IEEE Symposium on Logic in Computer Science
Editor: Prakash Panangaden
2004 (1 Volume)
Selected Papers of the 2004 IEEE Symposium on Logic in Computer Science
Editors: Andrei Voronkov, Leonid Libkin