Search

This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and 3 short papers presented were carefully reviewed and selected from 27 initial submissions. The papers focus on model-based and automated ways of assessing safety and other attributes of dependability of complex systems. They are organized in topical sections on safety analysis automation, MBSA practices, causal models and failure modeling strategies, designing mitigations of faults and attacks, data based safety analysis, dynamic risk assessment.

The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference on Computational Science, ICCS 2022, held in London, UK, in June 2022.• The total of 175 full papers and 78 short papers presented in this book set were carefully reviewed and selected from 474 submissions. 169 full and 36 short papers were accepted to the main track; 120 full and 42 short papers were accepted to the workshops/ thematic tracks. •The conference was held in a hybrid format

The three-volume set LNCS 13245, 13246 and 13247 constitutes the proceedings of the 26th International Conference on Database Systems for Advanced Applications, DASFAA 2022, held online, in April 2021. The total of 72 full papers, along with 76 short papers, are presented in this three-volume set was carefully reviewed and selected from 543 submissions. Additionally, 13 industrial papers, 9 demo papers and 2 PhD consortium papers are included. The conference was planned to take place in Hyderabad, India, but it was held virtually due to the COVID-19 pandemic.

This book constitutes the refereed proceedings of the 23rd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2020, held in hybrid mode in Valencia, Spain, in November 2022. The 31 full papers presented together with 15 short papers and 1 demo paper were carefully reviewed and selected from 100 submissions.The conference covers a wide range of ranging from foundations of agent theory and engineering aspects of agent systems, to emerging interdisciplinary areas of agent-based research.

This book constitutes the refereed proceedings of the 14th International Conference on Mathematics of Program Construction, MPC 2022, held in Tbilisi, Georgia, in September 2022. The 9 revised full papers presented together with three invited papers were carefully reviewed and selected from 14 submissions. The papers deal with mathematical principles and techniques for constructing computer programs.

This book constitutes the refereed proceedings of the 13th International Conference on Computational Collective Intelligence, ICCCI 2021, held in September/October 2021. The conference was held virtually due to the COVID-19 pandemic. The 58 full papers were carefully reviewed and selected from 230 submissions. The papers are grouped in topical issues on knowledge engineering and semantic web; social networks and recommender systems; collective decision-making; cooperative strategies for decision making and optimization; data mining and machine learning; computer vision techniques; natural language processing; Internet of Things: technologies and applications; Internet of Things and computational technologies for collective intelligence; computational intelligence for multimedia understanding.

This book constitutes the refereed proceedings of the 15th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2021, held in September 2021. Due to the COVID-19 pandemic the conference was held online. The 9 full and 2 short papers were carefully reviewed and selected from 24 submissions. The papers are organized in topical secions on ​quantum computing; advanced application architecture; service-based applications.

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 EuroGP, EvoCOP, and EvoMUSART. The 51 revised full papers presented in this book were carefully reviewed and selected from 78 submissions. The papers cover a wide spectrum of topics, ranging from applications of evolutionary computation; applications of deep bioinspired algorithms; soft computing applied to games; machine learning and AI in digital healthcare and personalized medicine; evolutionary computation in image analysis, signal processing and pattern recognition; evolutionary machine learning; parallel and distributed systems; and applications of nature inspired computing for sustainability and development.​

This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021.The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. The book is subdivided into two blocks: Modelling & Composition and Verification. Chapter'A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions'is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book together with 1-page summaries of the three invited talks. The papers cover topics such as static program analysis, abstract domain, abstract interpretation, automated deduction, debugging techniques, deductive methods, model checking, data science, program optimizations and transformations, program synthesis, program verification, and security analysis.

This book constitutes the refereed post-conference proceedings of the International Conferences ICCASA and ICTCC 2020, held in November 2020 in Thai Nguyen, Vietnam. The 27 revised full papers presented were carefully selected from 68 submissions. The papers of ICCASA cover a wide spectrum in the area of context-aware-systems. CAS is characterized by its self- facets such as self-organization, self-configuration, self-healing, self-optimization, self-protection used to dynamically control computing and networking functions. The papers of ICTCC cover formal methods for self-adaptive systems and discuss natural approaches and techniques for computation and communication.

This book constitutes the refereed proceedings of the 27th International Symposium on Static Analysis, SAS 2020, held in Chicago, IL, USA, in November 2020.The 14 regular papers presented in this book together with 2 invited talks and 1 extended abstract, were carefully reviewed and selected from 34 submissions. The papers cover topics such as abstract domains; abstract interpretation; automated deduction; data flow analysis; debugging; deductive methods; emerging applications; model-checking; program transformations; predicate abstraction; security analysis; tool environments and architectures; and type checking. Due to the Corona pandemic this event was held virtually.

This book constitutes the refereed proceedings of the 19th International Conference on Computational Methods in Systems Biology, CMSB 2021, held in Bordeaux, France, September 22–24, 2021.•The 13 full papers and 5 tool papers were carefully reviewed and selected from 32 submissions. The topics of interest include biological process modelling; biological system model verification, validation, analysis, and simulation; high-performance computational systems biology; model inference from experimental data; multi-scale modeling and analysis methods; computational approaches for synthetic biology; machine learning and data-driven approaches; microbial ecology modelling and analysis; methods and protocols for populations and their variability; models, applications, and case studies in systems and synthetic biology. The chapters'Microbial Community Decision Making Models in Batch','Population design for synthetic gene circuits','BioFVM-X: An MPI+OpenMP 3-D Simulator for Biological Systems'are published open access under a CC BY license (Creative Commons Attribution 4.0 International License). • The conference was held in a hybrid mode due to the COVID-19 pandemic.

This book constitutes the proceedings of the 23rd International Workshop on Computer Algebra in Scientific Computing, CASC 2021, held in Sochi, Russia, in September 2021. The 24 full papers presented together with 1 invited talk were carefully reviewed and selected from 40 submissions. The papers cover theoretical computer algebra and its applications in scientific computing.

This book constitutes the refereed conference proceedings of the 28th International Colloquium on Structural Information and Communication Complexity, SIROCCO 2021, held in Wrocław, Poland, in June 2021. Due to COVID-19, the conference will be held online. The 20 full papers presented in this book were carefully reviewed and selected from 48 submissions. The papers are solicited from all areas of study of local structural knowledge and global communication and computational complexities. Among the typical areas are distributed computing, communication networks, game theory, parallel computing, social networks, mobile computing

This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.•The 17 full papers and 5 tool papers were carefully reviewed and selected from 30 submissions. In addition 3 abstracts of invited talks and 2 tutorials have been included in this volume. Topics of interest include formalisms for modeling biological processes; models and their biological applications; frameworks for model verification, validation, analysis, and simulation of biological systems; high-performance computational systems biology and parallel implementations; model inference from experimental data; model integration from biological databases; multi-scale modeling and analysis methods; computational approaches for synthetic biology; and case studies in systems and synthetic biology. • The conference was held virtually due to the COVID-19 pandemic.

This three-volume set LNCS 12452, 12453, and 12454 constitutes the proceedings of the 20th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2020, in New York City, NY, USA, in October 2020.The total of 142 full papers and 5 short papers included in this proceedings volumes was carefully reviewed and selected from 495 submissions. ICA3PP is covering the many dimensions of parallel algorithms and architectures, encompassing fundamental theoretical approaches, practical experimental projects, and commercial components and systems. As applications of computing systems have permeated in every aspects of daily life, the power of computing system has become increasingly critical. This conference provides a forum for academics and practitioners from countries around the world to exchange ideas for improving the efficiency, performance, reliability, security and interoperability of computing systems and applications. ICA3PP 2020 focus on two broadareas of parallel and distributed computing, i.e. architectures, algorithms and networks, and systems and applications.

This book constitutes the proceedings of the 19th International Conference on Mathematical Optimization Theory and Operations Research, MOTOR 2020, held in Novosibirsk, Russia, in July 2020. The 31 full papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers are grouped in these topical sections: discrete optimization; mathematical programming; game theory; scheduling problem; heuristics and metaheuristics; and operational research applications.

This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020. The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as classic measures involving performance and reliability, quantification of properties that are classically qualitative, such as safety, correctness, and security as well as analytic studies, diversity in the model formalisms and methodologies employed, and development of new formalisms and methodologies.

This two-volume set of LNCS 12463 and LNCS 12464 constitutes - in conjunction with the volume LNAI 12465 - the refereed proceedings of the 16th International Conference on Intelligent Computing, ICIC 2020, held in Bari, Italy, in October 2020. The 162 full papers of the three proceedings volumes were carefully reviewed and selected from 457 submissions. The ICIC theme unifies the picture of contemporary intelligent computing techniques as an integral concept that highlights the trends in advanced computational intelligence and bridges theoretical research with applications. The theme for this conference is “Advanced Intelligent Computing Methodologies and Applications.” Papers related to this theme are especially solicited, addressing theories, methodologies, and applications in science and technology.

This book constitutes the refereed proceedings of the 17th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2020, held in Sant Cugat, Spain, in September 2020.• The 24 papers presented in this volume were carefully reviewed and selected from 46 submissions. They discuss different facets of decision processes in a broad sense and present research in data science, data privacy, aggregation functions, human decision making, graphs and social networks, and recommendation and search. The papers are organized in the following topical sections: aggregation operators and decision making, and data science and data mining. • The conference was canceled due to the COVID-19 pandemic.

This book constitutes the proceedings of the 24th International Conference on Developments in Language Theory, DLT 2020, which was due to be held in Tampa, Florida, USA, in May 2020. The conference was cancelled due to the COVID-19 pandemic. The 24 full papers presented were carefully reviewed and selected from 38 submissions. The papers present current developments in language theory, formal languages, automata theory and related areas, such as algorithmic, combinatorial, and algebraic properties of words and languages, cellular automata, algorithms on words, etc.

This book constitutes the refereed proceedings of the 13th International Conference on Intelligent Computer Mathematics, CICM 2020, held in Bertinoro, Italy, in July 2020•.The 15 full papers, 1 invited paper and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 35 submissions. The papers focus on advances in automated theorem provers and formalization, computer algebra systems and their libraries, and applications of machine learning, among other topics. • The conference was held virtually due to the COVID-19 pandemic.

This book constitutes the refereed proceedings of the 9th International Conference on Theory and Practice of Natural Computing, TPNC 2020, held in Taoyuan, Taiwan, in December 2020. The 12 full papers presented in this book, together with one invited talk, were carefully reviewed and selected from 24 submissions. The papers are organized in topical sections named: applications of natural computing; quantum computing and unconventional computing; and swarm intelligence, evolutionary algorithms, and DNA computing.

This volume constitutes the refereed proceedings of the 7th Workshop on Engineering Applications, WEA 2020, held in Bogota, Colombia, in October 2020.The 32 revised full papers and 12 short papers presented in this volume were carefully reviewed and selected from 136 submissions. The papers are organized in the following topical sections: computational intelligence; computer science; optimization; bioengineering; military applications; simulation, IoT and networks; power applications.

This book constitutes the proceedings of the 24th Annual Conference on Research in Computational Molecular Biology, RECOMB 2020, held in Padua, Italy, in May 2020. The 13 regular and 24 short papers presented were carefully reviewed and selected from 206 submissions. The papers report on original research in all areas of computational molecular biology and bioinformatics.

This book constitutes the refereed proceedings of the 23rd European Conference on Genetic Programming, EuroGP 2020, held as part of Evo•2020, in Seville, Spain, in April 2020, co-located with the Evo•2020 events EvoCOP, EvoMUSART and EvoApplications.The 12 full papers and 6 short papers presented in this book were carefully reviewed and selected from 36 submissions. The papers cover a wide spectrum of topics, including designing GP algorithms for ensemble learning, comparing GP with popular machine learning algorithms, customising GP algorithms for more explainable AI applications to real-world problems.

This book constitutes the refereed proceedings of the 20th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2020, held as part of Evo•2020, in Seville, Spain, in April 2020, co-located with the Evo•2020 events EuroGP, EvoMUSART and EvoApplications.The 14 full papers presented in this book were carefully reviewed and selected from 37 submissions. The papers cover a wide spectrum of topics, ranging from the foundations of evolutionary computation algorithms and other search heuristics, to their accurate design and application to combinatorial optimization problems.

This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019.The 9 full papers presented together with 9 full papers and 3 short papers as well as 2 other papers were carefully reviewed and selected from 27 submissions. FACS 2019 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.

This book constitutes the refereed proceedings of the 14th Latin American Symposium on Theoretical Informatics, LATIN 2020, held in Sao Paulo, Brazil, in January 2021. The 50 full papers presented in this book were carefully reviewed and selected from 136 submissions. The papers are grouped into these topics: approximation algorithms; parameterized algorithms; algorithms and data structures; computational geometry; complexity theory; quantum computing; neural networks and biologically inspired computing; randomization; combinatorics; analytic and enumerative combinatorics; graph theory.Due to the Corona pandemic the event was postponed from May 2020 to January 2021.

This volume constitutes the refereed proceedings of the Third International Conference on Optimization and Learning, OLA 2020, held in Cádiz, Spain, in February 2020. The 23 full papers were carefully reviewed and selected from 55 submissions. The papers presented in the volume focus on the future challenges of optimization and learning methods, identifying and exploiting their synergies,and analyzing their applications in different fields, such as health, industry 4.0, games, logistics, etc.

This book constitutes the refereed proceedings of the 28th International Conference on Case-Based Reasoning Research and Development, ICCBR 2020, held in Salamanca, Spain•, in June 2020. The 20 full papers and 2 short papers presented in this book were carefully reviewed and selected from 64 submissions. The theme of ICCBR 2020, “CBR Across Bridges” was highlighted by several activities. These papers, which are included in the proceedings, address many themes related to the theory and application of case-based reasoning and its future direction. •The conference was held virtually due to the COVID-19 pandemic.

This book constitutes the refereed proceedings of the 9th European Conference on Artificial Intelligence in Music, Sound, Art and Design, EvoMUSART 2020, held as part of Evo•2020, in Seville, Spain, in April 2020, co-located with the Evo•2020 events EuroGP, EvoCOP and EvoApplications.The 15 revised full papers presented were carefully reviewed and selected from 31 submissions. The papers cover a wide spectrum of topics and application areas, including generative approaches to music and visual art, deep learning, and architecture.

The two volume set LNCS 11486 and 11487 constitutes the proceedings of the International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, held in Almería, Spain,, in June 2019. The total of 103 contributions was carefully reviewed and selected from 190 submissions during two rounds of reviewing and improvement. The papers are organized in two volumes, one on understanding the brain function and emotions, addressing topics such as new tools for analyzing neural data, or detection emotional states, or interfacing with physical systems. The second volume deals with bioinspired systems and biomedical applications to machine learning and contains papers related bioinspired programming strategies and all the contributions oriented to the computational solutions to engineering problems in different applications domains, as biomedical systems, or big data solutions.

The two volume set LNCS 11486 and 11487 constitutes the proceedings of the International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC 2019, held in Almería, Spain,, in June 2019. The total of 103 contributions was carefully reviewed and selected from 190 submissions during two rounds of reviewing and improvement. The papers are organized in two volumes, one on understanding the brain function and emotions, addressing topics such as new tools for analyzing neural data, or detection emotional states, or interfacing with physical systems. The second volume deals with bioinspired systems and biomedical applications to machine learning and contains papers related bioinspired programming strategies and all the contributions oriented to the computational solutions to engineering problems in different applications domains, as biomedical systems, or big data solutions.

This book constitutes the thoroughly refereed proceedings of the 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, held in Graz, Austria, in July 2019. The 41 full papers and 32 short papers presented were carefully reviewed and selected from 151 submissions. The IEA/AIE 2019 conference will continue the tradition of emphasizing on applications of applied intelligent systems to solve real-life problems in all areas. These areas include engineering, science, industry, automation and robotics, business and finance, medicine and biomedicine, bioinformatics, cyberspace, and human-machine interactions. IEA/AIE 2019 will have a special focus on automated driving and autonomous systems and also contributions dealing with such systems or their verification and validation as well.

This volume was published in honor of Rocco De Nicola's 65th birthday. The Festschrift volume contains 27 papers written by close collaborators and friends of Rocco De Nicola and was presented to Rocco on the 1st of July 2019 during a two-day symposium held in Lucca, Italy. The papers present many research ideas that have been influenced by Rocco's work. They testify his intellectual curiosity, versatility and tireless research activity, and provide an overview of further developments to come. The volume consists of six sections. The first one contains a laudation illustrating the distinguished career and the main scientific contributions by Rocco and a witness of working experiences with Rocco. The remaining five sections comprise scientific papers related to specific research interests of Rocco and are ordered according to his scientific evolution: Observational Semantics; Logics and Types; Coordination Models and Languages; Distributed Systems Modelling; Security.

This book constitutes the refereed proceedings of the 10th International Conference on Evolutionary Multi-Criterion Optimization, EMO 2019 held in East Lansing, MI, USA, in March 2019.The 59 revised full papers were carefully reviewed and selected from 76 submissions. The papers are divided into 8 categories, each representing a key area of current interest in the EMO field today. They include theoretical developments, algorithmic developments, issues in many-objective optimization, performance metrics, knowledge extraction and surrogate-based EMO, multi-objective combinatorial problem solving, MCDM and interactive EMO methods, and applications.

This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Computer Mathematics, CICM 2019, held in Prague, Czech Republic, in July 2019. The 19 full papers presented were carefully reviewed and selected from a total of 41 submissions. The papers focus on digital and computational solutions which are becoming the prevalent means for the generation, communication, processing, storage and curation of mathematical information. Separate communities have developed to investigate and build computer based systems for computer algebra, automated deduction, and mathematical publishing as well as novel user interfaces. While all of these systems excel in their own right, their integration can lead to synergies offering significant added value.

This book constitutes the proceedings of the 32nd Australasian Joint Conference on Artificial Intelligence, AI 2019, held in Adelaide, SA, Australia, in December 2019. The 48 full papers presented in this volume were carefully reviewed and selected from 115 submissions. The paper were organized in topical sections named: game and multiagent systems; knowledge acquisition, representation, reasoning; machine learning and applications; natural language processing and text analytics; optimization and evolutionary computing; and image processing.

This book constitutes the thoroughly refereed proceedings of the First Iberoamerican Conference, KGSWC 2019, held in Villa Clara, Cuba, in June 2019. The 14 full papers and 1 short paper presented were carefully reviewed and selected from 33 submissions. The papers cover wide research fields including artificial intelligence; knowledge representation and reasoning; ontology engineering; natural language processing; description logics; information systems; query languages; world wide web; semantic web description languages; and information retrieval.

This book constitutes the refereed proceedings of the 25th International Conference on DNA Computing and Molecular Programming, DNA 25, held in Seattle, WA, USA, in August 2019.The 12 full papers presented were carefully selected from 19 submissions. The papers cover a wide range of topics relating to biomolecular computing such as algorithms and models for computation on biomolecular systems; computational processes in vitro and in vivo; molecular switches, gates, devices, and circuits; molecular folding and self-assembly of nanostructures; analysis and theoretical models of laboratory techniques; molecular motors and molecular robotics; information storage; studies of fault-tolerance and error correction; software tools for analysis, simulation, anddesign; synthetic biology and in vitro evolution; and applications in engineering, physics, chemistry, biology, and medicine.

The two-volume set of LNCS 10941 and 10942 constitutes the proceedings of the 9th International Conference on Advances in Swarm Intelligence, ICSI 2018, held in Shanghai, China, in June 2018. The total of 113 papers presented in these volumes was carefully reviewed and selected from 197 submissions. The papers were organized in topical sections as follows: theories and models of swarm intelligence; ant colony optimization; particle swarm optimization; artificial bee colony algorithms; genetic algorithms; differential evolution; fireworks algorithms; bacterial foraging optimization; artificial immune system; hydrologic cycle optimization; other swarm-based optimization algorithms; hybrid optimization algorithms; multi-objective optimization; large-scale global optimization; multi-agent systems; swarm robotics; fuzzy logic approaches; planning and routing problems; recommendation in social media; prediction, classification; finding patterns; image enhancement; deep learning.

This book constitutes the proceedings of the 21st International Conference on Information Security, ISC 2018, held in Guildford, UK, in September 2018. The 26 full papers presented in this volume were carefully reviewed and selected from 59 submissions. The book also includes one invited talk in full-paper length. The papers were organized in topical sections named: software security; symmetric ciphers and cryptanalysis; data privacy and anonymization; outsourcing and assisted computing; advanced encryption; privacy-preserving applications; advanced signatures; and network security.

This book constitutes the refereed proceedings of the 37th International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2018, held in Västerås, Sweden, in September 2018. The 19 revised full papers and 1 short paper presented together with three abstracts of keynotes were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on Automotive Safety Standards and Cross-domain Reuse Potential; Autonomous Driving and Safety Analysis; Verification; Multi-concern Assurance; Fault Tolerance; and Safety and Security Risk.

This book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages, PADL 2019, held in Lisbon, Portugal, in January 2019. The 14 revised full papers were carefully reviewed and selected from 35 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including logic, constraint, and functional languages. ​

The LNCS journal Transactions on Computational Science reflects recent developments in the field of Computational Science, conceiving the field not as a mere ancillary science but rather as an innovative approach supporting many other scientific disciplines. The journal focuses on original high-quality research in the realm of computational science in parallel and distributed environments, encompassing the facilitating theoretical foundations and the applications of large-scale computations and massive data processing. It addresses researchers and practitioners in areas ranging from aerospace to biochemistry, from electronics to geosciences, from mathematics to software architecture, presenting verifiable computational methods, findings, and solutions, and enabling industrial users to apply techniques of leading-edge, large-scale, high performance computational methods.This, the 33rd issue of the Transactions on Computational Science, focusses on computational geometry and computability, with applications in IoT (Internet of Things), Bioinformatics, and WBAN (Wireless Body Area Networks). Three of the seven papers constitute extended versions of papers presented at the 18th International Workshop on Computational Geometry and Security Applications, CGSA 2017, held in Trieste, Italy, in June 2017.

This book constitutes the refereed proceedings of the 21th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2018, held in Nancy, France, in November 2018. The 36 full papers presented were carefully reviewed and selected from 104 submissions. The papers cover all aspects of eliciting, acquiring, modeling, and managing knowledge, the construction of knowledge-intensive systems and services for the Semantic Web, knowledge management, e-business, natural language processing, intelligent information integration, personal digital assistance systems, and a variety of other related topics. A special focus was on'Knowledge and AI', i.e. papers describing algorithms, tools, methodologies, and applications that exploit the interplay between knowledge and Artificial Intelligence techniques, with a special emphasis on knowledge discovery.

This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.

This book constitutes the thoroughly refereed proceedings of the 13th International Conference on Web and Internet Economics, WINE 2017, held in Bangalore, India, in December 2017. The 28 full and 6 short papers presented were carefully reviewed and selected from 89 submissions. The papers reflect the work of researchers in theoretical computer science, artificial intelligence, and microeconomics who have joined forces to tackle problems at the intersection of computation, game theory and economics.