Theoretical Computer Science and General Issues

This book constitutes the proceedings of the 21st International Conference on Parallel and Distributed Computing, Applications, and Technologies, PDCAT 2020, which took place in Shenzhen, China, during December 28-30, 2020.

The 34 full papers …

This book constitutes the proceedings of the 15th International Conference on Language and Automata Theory and Applications, LATA 2021, held in Milan, Italy, in March 2021.

The 26 full papers presented in this volume were carefully reviewed and …

This book constitutes revised selected papers from the workshops held at the 26th International Conference on Parallel and Distributed Computing, Euro-Par 2020, which took place in Warsaw, Poland, in August 2020. The workshops were held virtually …

This volume constitutes the proceedings of the 8th International Conference on Variable Neighborhood Search, ICVNS 2021, held in Abu Dhabi, United Arab Emirates, in March 2021.

The 14 full papers presented in this volume were carefully reviewed and …

This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on …

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the …

This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint …

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the …

This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS …

This book constitutes the refereed proceedings of the 11th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2021 held in Shenzhen, China, in March 2021.

The 47 full papers and 14 short papers were carefully reviewed and …

This book constitutes the refereed proceedings of the 24th European Conference on Genetic Programming, EuroGP 2021, held as part of Evo*2021, as Virtual Event, in April 2021, co-located with the Evo*2021 events, EvoCOP, EvoMUSART, and …

This book constitutes the thoroughly refereed post-conference proceedings of the 32nd International Workshop on Languages and Compilers for Parallel Computing, LCPC 2019, held in Atlanta, GA, USA, in October 2019.

The 8 revised full papers and 3 …

This book constitutes the refereed proceedings of the 21st European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2021, held as part of Evo*2021, as Virtual Event, in April 2021, co-located with the Evo*2021 events: …

This book constitutes the refereed proceedings of the 24th International Conference on Applications of Evolutionary Computation, EvoApplications 2021, held as part of Evo*2021, as Virtual Event, in April 2021, co-located with the Evo*2021 events …

This book constitutes the refereed proceedings of the 10th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2021, held as part of Evo* 2021, as Virtual Event, in April 2021, co-located with the Evo* 2021 …

This book is a festschrift in honour of Mike Papazoglou’s 65th birthday and retirement. It includes 20 contributions from leading researchers who have worked with Mike in his more than 40 years of academic research. Topics are as varied as Mike’s …

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Algebraic Development Techniques, WADT 2020, held virtually in April 2020.

The 7 revised papers presented together with an invited paper …

This book constitutes the proceedings of the 22nd Conference on Integer Programming and Combinatorial Optimization, IPCO 2021, which took place during May 19-21, 2021. The conference was organized by Georgia Institute of Technology and planned to …

This book constitutes the refereed conference proceedings of the 12th International Conference on Algorithms and Complexity, CIAC 2019, held as a virtual event, in May 2021.

The 28 full papers presented together with one invited lecture and 2 two …

This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020.

Due to the COVID-19, the workshop was held …