Search

This book constitutes the refereed proceedings of the 9th International Conference on Metaheuristics and Nature Inspired Computing, META 2023, held in Marrakech, Morocco, during November 1-4, 2023. The 19 full papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers are divided into the following topical sections: combinatorial optimization; scheduling; continuous optimization; automatic metaheuristics tuning; optimization and machine learning; and applications.

This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6–7, 2024. The 11 full papers included in this book were carefully reviewed and selected from 16 submissions. They focus on several topics, e.g., foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; applications; and education.

The two-volume set CCIS 2061 and 2062 constitutes the refereed post-conference proceedings of the 18th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2023, held in Changsha, China, during December 15–17, 2023.The 64 revised full papers presented in these proceedings were carefully reviewed and selected from 168 submissions. The papers are organized in the following topical sections: Volume I: Evolutionary Computation and Swarm Intelligence; and Membrane Computing and DNA ComputingVolume II: Machine Learning and Applications; and Intelligent Control and Application.

The two-volume set CCIS 2061 and 2062 constitutes the refereed post-conference proceedings of the 18th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2023, held in Changsha, China, during December 15–17, 2023.The 64 revised full papers presented in these proceedings were carefully reviewed and selected from 168 submissions. The papers are organized in the following topical sections: Volume I: Evolutionary Computation and Swarm Intelligence; and Membrane Computing and DNA ComputingVolume II: Machine Learning and Applications; and Intelligent Control and Application.

This two-volume set LNCS 14465-14466 constitutes the proceedings of the 31st International Symposium on Graph Drawing and Network Visualization, GD 2023, held in Isola delle Femmine, Palermo, Italy, in September 2023. The 31 full papers, 7 short papers, presented together with 2 invited talks, and one contest report, were thoroughly reviewed and selected from the 100 submissions. The abstracts of 11 posters presented at the conference can be found in the back matter of the volume. The contributions were organized in topical sections as follows: beyond planarity; crossing numbers; linear layouts; geometric aspects; visualization challenges; graph representations; graph decompositions; topological aspects; parameterized complexity for drawings; planar graphs; frameworks; algorithmics.

This two-volume set LNCS 14465-14466 constitutes the proceedings of the 31st International Symposium on Graph Drawing and Network Visualization, GD 2023, held in Isola delle Femmine, Palermo, Italy, in September 2023. The 31 full papers, 7 short papers, presented together with 2 invited talks, and one contest report, were thoroughly reviewed and selected from the 100 submissions. The abstracts of 11 posters presented at the conference can be found in the back matter of the volume. The contributions were organized in topical sections as follows: beyond planarity; crossing numbers; linear layouts; geometric aspects; visualization challenges; graph representations; graph decompositions; topological aspects; parameterized complexity for drawings; planar graphs; frameworks; algorithmics.

This book constitutes the refereed proceedings of the 16th International Conference on Learning and Intelligent Optimization, LION 16, which took place in Milos Island, Greece, in June 2022.The 36 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 60 submissions. LION deals with automatic solver configuration, parallel methods, intelligent optimization, nature-inspired algorithms, hard combinatorial optimization problems, DC learning, computational intelligence, and others. The contributions were organized in topical sections as follows: Invited Papers; Contributed Papers.

This book constitutes the proceedings of the 30th International Symposium on Graph Drawing and Network Visualization, GD 2022, held in Tokyo, Japan, during September 13-16, 2022. The 25 full papers, 7 short papers, presented together with 2 invited talks, one report on graph drawing contest, and one obituary in these proceedings were carefully reviewed and selected from 70 submissions. The abstracts of 5 posters presented at the conference can be found in the back matter of the volume. The contributions were organized in topical sections as follows: properties of drawings of complete graphs; stress-based visualizations of graphs; planar and orthogonal drawings; drawings and properties of directed graphs; beyond planarity; dynamic graph visualization; linear layouts; and contact and visibility graph representations.

This book constitutes the refereed proceedings of the 16th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2022, held in Gaeta, Italy, during September 14–16, 2022. The 21 full papers and 3 short papers included in this book were carefully reviewed and selected from 45 submissions. They were organized in topical sections as follows: answer set programming; networks and complex systems, metaheuristics, robotics, and machine learningChapters 7, 8, and 9 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the proceedings of the 15th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2021, held in Winterthur, Switzerland, in September 2022. The 14 full papers and 10 short papers presented in this volume were carefully reviewed and selected from 25 submissions. The papers are organized in the following topical sections: Networks; Droplets, Fluids, and Synthetic Biology; Robot Systems; Computer Vision and Computational Creativity; Semantic Search; Artificial Medicine and Pharmacy; Trade and Finance; Ethics in Computational Modelling.Chapters 4, 5, 6, 7, 22, and 24 are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes revised selected papers from the 13th International Conference on Large-Scale Scientific Computing, LSSC 23021, which was held in Sozopol, Bulgaria, during June 7-11, 2021. The 60 papers included in this book were carefully reviewed and selected from a total of 73 submissions. The volume also includes two invited talks in full paper length. The papers were organized in topical sections as follows: Fractional diffusion problems: numerical methods, algorithms and applications; large-scale models: numerical methods, parallel computations and applications; application of metaheuristics to large-scale problems; advanced discretizations and solvers for coupled systems of partial differential equations; optimal control of ODEs, PDEs and applications; tensor and matrix factorization for big-data analysis; machine learning and model order reduction for large scale predictive simulations; HPC and big data: algorithms and applications; and contributed papers.

This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2 invited tutorials and an experience report.

This book constitutes the refereed post proceedings of the 17th Italian Workshop on Artificial Life and Evolutionary Computation, WIVACE 2023, held in Venice, Italy, during September 6–8, 2023.The 30 full papers included in this book were carefully reviewed and selected from 55 submissions. They were organized in topical sections as follows: Algorithms for complex systems, Biologically inspired models, Complex chemical systems, Adaptation and swarms, Learning, Medicine and Social systems.

This book constitutes the refereed proceedings of the 14th International Conference on Large-Scale Scientific Computations, LSSC 2023, held in Sozopol, Bulgaria, during June 5–9, 2023. The 49 full papers included in this book were carefully reviewed and selected from 61 submissions. They were organized in topical sections as follows: preconditioning and multilevel methods; fractures and mixed dimensional modeling: discretizations, solvers, and methodology; machine learning and model order reduction for large scale predictive simulations; fractional differential problems: theoretical aspects, algorithms and applications; variational analysis and optimal control; stochastic optimal control and numerical methods in economics and finance; tensor methods for big data analytics and low-rank approximations of PDEs solutions; applications of metaheuristics to large-scale problems; large-scale models: numerical methods, parallel computations and applications; HPC and HPDA: algorithms and applications.

This book constitutes the refereed post proceedings of the 18th International Conference on Advances in Computer Games, ACG 2023, held online, during November 28–30, 2023.The 14 full papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Chess and its Variants, Solving Games, Board Games, Card Games, Player Investigation, Math, Games, and Puzzles.

This book constitutes the refereed proceedings of the 13th International Conference on Advances in Optimization and Applications, OPTIMA 2022, held in Petrovac, Montenegro, during September 26–30, 2022. The 13 full papers included in this book were carefully reviewed and selected from 26 submissions. They were organized in topical sections as follows: ​mathematical programming; global optimization; discrete and combinatorial optimization; optimization and data analysis; game theory and mathematical economics; and applications.

This book constitutes the refereed proceedings of the 14th International Conference on Advances in Optimization and Applications, OPTIMA 2023, held in Petrovac, Montenegro, during September 18–22, 2023.The 21 full papers included in this book were carefully reviewed and selected from 68 submissions. They were organized in topical sections as follows: ​mathematical programming; global optimization; continuous optimization; discrete and combinatorial optimization; optimal control; game theory and mathematical economics; optimization in economics and finance; and applications.

This book constitutes the refereed proceedings of the 17th International Conference on Bio-Inspired Computing: Theories and Applications, BIC-TA 2022, held in Wuhan, China, during December 16–18, 2022.The 56 full papers included in this book were carefully reviewed and selected from 148 submissions. They were organized in topical sections as follows: evolutionary computation and swarm intelligence; machine learning and deep learning; intelligent control and simulation and molecular computing and nanotechnology.

This book constitutes the refereed post-conference proceedings of the 17th International Conference on Advances in Computer Games, ACG 2021, which was held as a virtual event during November 23–25, 2021. The 22 full papers included in this book were carefully reviewed and selected from 34 submissions. They were organized in topical sections as follows: learning in games; search in games; solving games; chess patterns; player modelling; and game systems.

This two-volume set LNCS 15179-15180 constitutes the refereed proceedings of the 18th International Conference on Algorithmic Aspects in Information and Management, AAIM 2024, which took place virtually during September 21-23, 2024. The 45 full papers presented in these two volumes were carefully reviewed and selected from 76 submissions. The papers are organized in the following topical sections: Part I: Optimization and applications; submodularity, management and others, Part II: Graphs and networks; quantum and others.

This two-volume set LNCS 15179-15180 constitutes the refereed proceedings of the 18th International Conference on Algorithmic Aspects in Information and Management, AAIM 2024, which took place virtually during September 21-23, 2024. The 45 full papers presented in these two volumes were carefully reviewed and selected from 76 submissions. The papers are organized in the following topical sections: Part I: Optimization and applications; submodularity, management and others, Part II: Graphs and networks; quantum and others.

This book constitutes the proceedings of the 18th International Conference on Reachability Problems, RP 2024, which took place in Vienna, Austria, during September 25–27, 2024. The 13 full papers included in these proceedings were carefully reviewed and selected from 37 submissions. The book also contains two invited talks in full paper length. The contributions in these proceedings cover topics from computability and reachability; automata and complexity; linear systems and recurrences; and games and abstractions.

The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024. The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions. They were organized in topical sections as follows: Part I: ICCS 2024 Main Track Full Papers; Part II: ICCS 2024 Main Track Full Papers; Part III: ICCS 2024 Main Track Short Papers; Advances in High-Performance Computational Earth Sciences: Numerical Methods, Frameworks and Applications; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Part IV: Biomedical and Bioinformatics Challenges for Computer Science; Computational Health; Part V: Computational Optimization, Modelling, and Simulation; Generative AI and Large Language Models (LLMs) in Advancing Computational Medicine; Machine Learning and Data Assimilation for Dynamical Systems; Multiscale Modelling and Simulation; Part VI: Network Models and Analysis: From Foundations to Artificial Intelligence; Numerical Algorithms and Computer Arithmetic for Computational Science; Quantum Computing; Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks, and Artificial Intelligence; Solving Problems with Uncertainties; Teaching Computational Science

The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024. The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions. They were organized in topical sections as follows: Part I: ICCS 2024 Main Track Full Papers; Part II: ICCS 2024 Main Track Full Papers; Part III: ICCS 2024 Main Track Short Papers; Advances in High-Performance Computational Earth Sciences: Numerical Methods, Frameworks and Applications; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Part IV: Biomedical and Bioinformatics Challenges for Computer Science; Computational Health; Part V: Computational Optimization, Modelling, and Simulation; Generative AI and Large Language Models (LLMs) in Advancing Computational Medicine; Machine Learning and Data Assimilation for Dynamical Systems; Multiscale Modelling and Simulation; Part VI: Network Models and Analysis: From Foundations to Artificial Intelligence; Numerical Algorithms and Computer Arithmetic for Computational Science; Quantum Computing; Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks, and Artificial Intelligence; Solving Problems with Uncertainties; Teaching Computational Science

The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024. The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions. They were organized in topical sections as follows: Part I: ICCS 2024 Main Track Full Papers; Part II: ICCS 2024 Main Track Full Papers; Part III: ICCS 2024 Main Track Short Papers; Advances in High-Performance Computational Earth Sciences: Numerical Methods, Frameworks and Applications; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Part IV: Biomedical and Bioinformatics Challenges for Computer Science; Computational Health; Part V: Computational Optimization, Modelling, and Simulation; Generative AI and Large Language Models (LLMs) in Advancing Computational Medicine; Machine Learning and Data Assimilation for Dynamical Systems; Multiscale Modelling and Simulation; Part VI: Network Models and Analysis: From Foundations to Artificial Intelligence; Numerical Algorithms and Computer Arithmetic for Computational Science; Quantum Computing; Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks, and Artificial Intelligence; Solving Problems with Uncertainties; Teaching Computational Science

This book constitutes the proceedings of the 18th Annual Conference on Theory and Applications of Models of Computation, TAMC 2024, which was held in Hong Kong, China, during May 13–15, 2024. The 30 full papers presented in this book were carefully reviewed and selected from 69 submissions. The main themes of the selected papers are computability, complexity, algorithms, information theory, as well as their integration with machine learning theory and the foundations of artificial intelligence.

This two-volume set LNCS 14788 and 14789 constitutes the refereed post-conference proceedings of the 15th International Conference on Advances in Swarm Intelligence, ICSI 2024, held in Xining, China, during August 23–26, 2024. The 74 revised full papers presented in these proceedings were carefully reviewed and selected from 156 submissions. The papers are organized in the following topical sections: Part I - Particle swarm optimization; Swarm intelligence computing; Differential evolution; Evolutionary algorithms; Multi-agent reinforcement learning & Multi-objective optimization. Part II - Route planning problem; Machine learning; Detection and prediction; Classification; Edge computing; Modeling and optimization & Analysis of review.

This two-volume set LNCS 14788 and 14789 constitutes the refereed post-conference proceedings of the 15th International Conference on Advances in Swarm Intelligence, ICSI 2024, held in Xining, China, during August 23–26, 2024. The 74 revised full papers presented in these proceedings were carefully reviewed and selected from 156 submissions. The papers are organized in the following topical sections: Part I - Particle swarm optimization; Swarm intelligence computing; Differential evolution; Evolutionary algorithms; Multi-agent reinforcement learning & Multi-objective optimization. Part II - Route planning problem; Machine learning; Detection and prediction; Classification; Edge computing; Modeling and optimization & Analysis of review.

This book constitutes the proceedings of the 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, held in Cochem, Germany, in February 2024. The 33 full papers presented in this book were carefully reviewed and selected from 81 submissions. The book also contains one invited talk in full paper length. They focus on original research and challenges in foundations of computer science including algorithms, AI-based methods, computational complexity, and formal models.

This book constitutes the proceedings of the 28th International Conference on Implementation and Application of Automata, CIAA 2024, held in Akita, Japan, during September 3-6, 2024. The 24 full papers and one invited paper presented here were carefully reviewed and selected from 38 submissions. These papers have been covering various fields in the application, implementation, and theory of automata and related structures.

The two-volume set LNCS 14634 and 14635 constitutes the refereed proceedings of the 27th European Conference on Applications of Evolutionary Computation, EvoApplications 2024, held as part of EvoStar 2024, in Aberystwyth, UK, April 3–5, 2024, and co-located with the EvoStar events, EvoCOP, EvoMUSART, and EuroGP.The 51 full papers presented in these proceedings were carefully reviewed and selected from 77 submissions. The papers have been organized in the following topical sections: applications of evolutionary computation; analysis of evolutionary computation methods: theory, empirics, and real-world applications; computational intelligence for sustainability; evolutionary computation in edge, fog, and cloud computing; evolutionary computation in image analysis, signal processing and pattern recognition; evolutionary machine learning; machine learning and AI in digital healthcare and personalized medicine; problem landscape analysis for efficient optimization; softcomputing applied to games; and surrogate-assisted evolutionary optimisation.

The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024. The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions. They were organized in topical sections as follows: Part I: ICCS 2024 Main Track Full Papers; Part II: ICCS 2024 Main Track Full Papers; Part III: ICCS 2024 Main Track Short Papers; Advances in High-Performance Computational Earth Sciences: Numerical Methods, Frameworks and Applications; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Part IV: Biomedical and Bioinformatics Challenges for Computer Science; Computational Health; Part V: Computational Optimization, Modelling, and Simulation; Generative AI and Large Language Models (LLMs) in Advancing Computational Medicine; Machine Learning and Data Assimilation for Dynamical Systems; Multiscale Modelling and Simulation; Part VI: Network Models and Analysis: From Foundations to Artificial Intelligence; Numerical Algorithms and Computer Arithmetic for Computational Science; Quantum Computing; Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks, and Artificial Intelligence; Solving Problems with Uncertainties; Teaching Computational Science

This book constitutes the proceedings of the 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024, held in Uppsala, Sweden, during May 28–31, 2024.The 33 full papers and the 9 short papers presented in the proceedings were carefully reviewed and selected from a total of 104 submissions. The content of the papers focus on new techniques or applications in the area and foster the integration of techniques from different fields dealing with large and complex problems.

The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024. The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions. They were organized in topical sections as follows: Part I: ICCS 2024 Main Track Full Papers; Part II: ICCS 2024 Main Track Full Papers; Part III: ICCS 2024 Main Track Short Papers; Advances in High-Performance Computational Earth Sciences: Numerical Methods, Frameworks and Applications; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Part IV: Biomedical and Bioinformatics Challenges for Computer Science; Computational Health; Part V: Computational Optimization, Modelling, and Simulation; Generative AI and Large Language Models (LLMs) in Advancing Computational Medicine; Machine Learning and Data Assimilation for Dynamical Systems; Multiscale Modelling and Simulation; Part VI: Network Models and Analysis: From Foundations to Artificial Intelligence; Numerical Algorithms and Computer Arithmetic for Computational Science; Quantum Computing; Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks, and Artificial Intelligence; Solving Problems with Uncertainties; Teaching Computational Science

The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024. The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions. They were organized in topical sections as follows: Part I: ICCS 2024 Main Track Full Papers; Part II: ICCS 2024 Main Track Full Papers; Part III: ICCS 2024 Main Track Short Papers; Advances in High-Performance Computational Earth Sciences: Numerical Methods, Frameworks and Applications; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Part IV: Biomedical and Bioinformatics Challenges for Computer Science; Computational Health; Part V: Computational Optimization, Modelling, and Simulation; Generative AI and Large Language Models (LLMs) in Advancing Computational Medicine; Machine Learning and Data Assimilation for Dynamical Systems; Multiscale Modelling and Simulation; Part VI: Network Models and Analysis: From Foundations to Artificial Intelligence; Numerical Algorithms and Computer Arithmetic for Computational Science; Quantum Computing; Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks, and Artificial Intelligence; Solving Problems with Uncertainties; Teaching Computational Science

The 7-volume set LNCS 14832 – 14838 constitutes the proceedings of the 24th International Conference on Computational Science, ICCS 2024, which took place in Malaga, Spain, during July 2–4, 2024. The 155 full papers and 70 short papers included in these proceedings were carefully reviewed and selected from 430 submissions. They were organized in topical sections as follows: Part I: ICCS 2024 Main Track Full Papers; Part II: ICCS 2024 Main Track Full Papers; Part III: ICCS 2024 Main Track Short Papers; Advances in High-Performance Computational Earth Sciences: Numerical Methods, Frameworks and Applications; Artificial Intelligence and High-Performance Computing for Advanced Simulations; Part IV: Biomedical and Bioinformatics Challenges for Computer Science; Computational Health; Part V: Computational Optimization, Modelling, and Simulation; Generative AI and Large Language Models (LLMs) in Advancing Computational Medicine; Machine Learning and Data Assimilation for Dynamical Systems; Multiscale Modelling and Simulation; Part VI: Network Models and Analysis: From Foundations to Artificial Intelligence; Numerical Algorithms and Computer Arithmetic for Computational Science; Quantum Computing; Part VII: Simulations of Flow and Transport: Modeling, Algorithms and Computation; Smart Systems: Bringing Together Computer Vision, Sensor Networks, and Artificial Intelligence; Solving Problems with Uncertainties; Teaching Computational Science

This book constitutes the proceedings of the 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024, held in Uppsala, Sweden, during May 28–31, 2024. The 33 full papers and the 9 short papers presented in the proceedings were carefully reviewed and selected from a total of 104 submissions. The content of the papers focus on new techniques or applications in the area and foster the integration of techniques from different fields dealing with large and complex problems.

This book constitutes the proceedings of the Third International Conference, AILA 2023, held in Changchun, China, during August 5–6, 2023. The 26 full papers and the 10 short papers included in this volume were carefully reviewed and selected from 56 submissions. This volume aims to provide novel ideas, original research achievements, and practical experiences in a broad range of artificial intelligence logic and applications.

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023,'Computation at the Cutting Edge of Science', highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational andsystems biology, environmental systems, finance, and others.

This book constitutes revised selected papers from the workshops of the 6th Asia-Pacific Web and Web-Age Information Management International Joint Conference on Web and Big Data, APWeb-WAIM 2022: The Fifth International Workshop on Knowledge Graph Management and Applications, KGMA 2022, The Fourth International Workshop on Semi-structured Big Data Management and Applications, SemiBDMA 2022, and The Third International Workshop on Deep Learning in Large-scale Unstructured Data Analytics, DeepLUDA 2022, held in Nanjing, China, in August 2022. The 23 papers were thoroughly reviewed and selected from the 39 submissions and present recent research on the theory, design, and implementation of data management systems.

This book constitutes the refereed proceedings of the 17th Annual Conference on Theory and Applications of Models of Computation, TAMC 2022, held as a virtual event, in September 2022. The 33 full papers were carefully reviewed and selected from 75 submissions. The main themes of the selected papers are computability, complexity, algorithms, information theory and their extensions to machine learning theory, and foundations of artificial intelligence.

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023,'Computation at the Cutting Edge of Science', highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational andsystems biology, environmental systems, finance, and others.

This book constitutes the proceedings of the 20th International Conference on Quantitative Evaluation of Systems, QEST 2023, which took place in Antwerp, Belgium, in September 2023. The 23 papers included in this book were carefully reviewed and selected from 44 submissions. They deal with current topics in quantitative evaluation and verification of computer systems and networks, focusing on data-driven and machine-learning systems, case studies, and tool papers. The book also contains the extended abstract of the invited talk from David Parker.

This book constitutes the proceedings of the 20th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2022, held in Nice, France, during May 29–June 1, 2023. The 26 full papers and the 6 short papers presented in this book were carefully reviewed and selected from a total of 71 submissions. The content of the papers present new techniques or new applications, and provide an opportunity for researchers in one area to learn about techniques in the others. Besides they give researchers the opportunity to show how the integration of techniques from different fields can lead to interesting results on large and complex problems.

This two-volume set LNCS 13968 and 13969 constitutes the proceedings of the 14th International Conference on Advances in Swarm Intelligence, ICSI 2023, which took place in Shenzhen, China, China, in July 2023. The theme of this year's conference was “Serving Life with Swarm Intelligence”.The 81 full papers presented were carefully reviewed and selected from 170 submissions. The papers are organized into 12 cohesive sections covering major topics of swarm intelligence research and its development and applications. The papers of the first part cover topics such as: Swarm Intelligence Computing; Swarm Intelligence Optimization Algorithms; Particle Swarm Optimization Algorithms; Genetic Algorithms; Optimization Computing Algorithms; Neural Network Search & Large-Scale Optimization; Multi-objective Optimization.

This book constitutes the proceedings of the 17th International Conference on Formal Concept Analysis, ICFCA 2023, which took place in Kassel, Germany, in July 2023.The 13 full papers presented in this volume were carefully reviewed and selected from 19 submissions. The International Conference on Formal Concept Analysis serves as a platform for researchers from FCA and related disciplines to showcase and exchange their research findings. The papers are organized in two topical sections, first'Theory'and second'Applications and Visualization'.

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023,'Computation at the Cutting Edge of Science', highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational andsystems biology, environmental systems, finance, and others.

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023,'Computation at the Cutting Edge of Science', highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational andsystems biology, environmental systems, finance, and others.

This book constitutes the proceedings of the 17th International Conference and Workshops on Algorithms and Computation, WALCOM 2023, which took place in Hsinchu, Taiwan, in March 2023. The 30 full papers presented together with 2 invited papers were carefully reviewed and selected from 75 submissions. They cover topics such as: computational geometry; string algorithm; optimization; graph algorithm; approximation algorithm; and parameterized complexity.

The five-volume set LNCS 14073-14077 constitutes the proceedings of the 23rd International Conference on Computational Science, ICCS 2023, held in Prague, Czech Republic, during July 3-5, 2023. The total of 188 full papers and 94 short papers presented in this book set were carefully reviewed and selected from 530 submissions. 54 full and 37 short papers were accepted to the main track; 134 full and 57 short papers were accepted to the workshops/thematic tracks. The theme for 2023,'Computation at the Cutting Edge of Science', highlights the role of Computational Science in assisting multidisciplinary research. This conference was a unique event focusing on recent developments in scalable scientific algorithms, advanced software tools; computational grids; advanced numerical methods; and novel application areas. These innovative novel models, algorithms, and tools drive new science through efficient application in physical systems, computational andsystems biology, environmental systems, finance, and others.