Search

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 includes a collection of extended papers based on presentations given during the SimHydro 2023 conference, held in EDF Lab Chatou, France, with the support of Société Hydrotechnique de France (SHF), the Association Française de Mécanique (AFM), the Environmental and Water Resources Institute (EWRI), and the International Association for Hydro-Environment Engineering and Research (IAHR). SimHydro conferences, since 2010, have created a regular forum where major actors of the hydroinformatics domain and stakeholders meet, share, and debate about needs, innovations, and implementations of models and their inputs for decision making. For this new edition, the general theme of the conference is focused on “New modelling paradigms for water issues”. The papers address some of the key challenges faced by the water modelling community regarding processes to simulate such as water services, extreme events (floods, droughts, etc.), and hydrological cycle at catchment scale and to assess the added value of emerging concepts and methods such as Artificial Intelligence (AI) and Digital Twins that are gaining interests. It addresses the interests of practitioners, stakeholders, researchers, and engineers active in this field. This book represents Volume 2 of a two-volume book series.

This book constitutes the refereed proceedings of the 14th International Conference on the Theory and Application of Diagrams, Diagrams 2024, held in Münster, Germany, during September 27–October 1, 2024. The 17 full papers, 19 short papers and 11 papers of other types included in this book were carefully reviewed and selected from 69 submissions. They were organized in topical sections as follows: Keynote Talks; Analysis of Diagrams; Euler and Venn Diagrams; Diagrams in Logic; Diagrams and Applications; Diagram Tools; Historical Aspects of Diagrams; and Posters.

This book presents the Proceedings from the Second International Workshop GLOW 2024 held in conjunction with the International Joint Conference on Artificial Intelligence, IJCAI 2024, in Jeju Island, South Korea, in August 2024. The 11 full papers and 4 short papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: efficient methods for low-resource hardware; efficient fintuning with limited data; advancements in multimodal systems; recognition and reasoning in the open world.

This book constitutes the proceedings of the Second International Libyan Conference on Information and Communication Technologies, ILCICT 2023, which took place in Tripoli, Libya, in September 4–6, 2023. The 26 full papers were carefully reviewed and selected from 55 submissions. The papers are organized in subject areas as follows: communication systems; computer and information systems; image processing, computer vision and internet of things.

This book constitutes the refereed proceedings of the 10th International Conference on Rigorous State-Based Methods, ABZ 2024, held in Bergamo, Italy, during June 25–28, 2024. The 29 papers included in this volume were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: research papers; short research papers; case study; doctoral symposium.

This first book of conference proceedings contains selected papers presented at ICGEC 2023, the 15th International Conference on Genetic and Evolutionary Computing, held on October 6–8, 2023, in Kaohsiung, Taiwan. The conference is intended as an international forum for the researchers and professionals in all areas of genetic and evolutionary computing. And the readers know the up-to-date techniques of the mentioned topics, including swarm intelligence and its applications, operational technologies and networked multimedia applications, wearable computing and intelligent data hiding, image processing and intelligent applications, and intelligent multimedia tools and applications. It helps readers bring new ideas or apply the designed approaches from the collected papers to their professional jobs.

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, and visiting professorships in France, Australia, and the UK. Since 2004 he has been a professor at RWTH Aachen University and is part-time associated with the University of Twente. Joost-Pieter's main areas of research are formal methods, computer-aided verification, concurrency theory, probabilistic computation, and semantics. Among many recognitions for this work, he is an ACM Fellow; he was elected as a member of the Academia Europaea, the Royal Holland Society of Science and Humanities, the North Rhine-Westphalian Academy of Science, Humanities and the Arts, and the Leopoldina, the German National Academy of Sciences; he received an honorary doctorate from Aalborg University. He was awarded an ERC Advanced Grant; he has won best paper, distinguished paper, or test-of-time awards at key conferences such as ETAPS, IEEE SRDS, POPL, CONCUR, and LOPSTR; and he has given keynotes at dozens of major events. He has chaired the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS) and the TACAS conference; he has been Program Chair, General Chair, or Program Committee member of hundreds of major conferences and workshops, and a board member of key journals; he has served on research boards (such as the EPSRC), doctoral committees, school and university committees, and IFIP working groups; and he coauthored Principles of Model Checking, a highly influential textbook. Throughout his career Joost-Pieter has been a remarkably successful teacher and mentor, supervising students and hosting postdoctoral researchers, many of whom have won awards for their research and advanced to senior positions, and he has collaborated in research and publications with a wide range of scientists. These successes are reflected in the papers contributed to this volume.

This book constitutes the refereed proceedings of the 7th International Conference on Computer Science and Mathematics, CMSC 2024, held in Trier, Germany, during October 7–10, 2024. The 17 full and short papers included in this book were carefully reviewed and selected from 26 submissions. They were organized in topical sections as follows: Invited Papers; Tactile Learning: Unplugged Graphs, Trees, and Patterns; Teaching Advanced Concepts Using Tangible Machines; Curricular Desicion-Making; Computational Thinking and Interdisciplinary Instruction; Innovative Teaching Beyond the Classroom.

This book constitutes the proceedings of the 8th International Joint Conference on Rules and Reasoning, RuleML+RR 2024, held in Bucharest, Romania, during September 16-18, 2024. The 12 full papers and 4 short papers included in this book were carefully reviewed and selected from 35 submissions. The RuleML+RR symposia were devoted to disseminating research, applications, languages, and standards for rule technologies, with attention to both theoretical and practical developments, to challenging new ideas and to industrial applications.

This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024. The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.

This book constitutes the refereed proceedings of the 34th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2024, held in Milan, Italy, during September 9–10, 2024. The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 28 submissions. They were organized in topical sections as follows: Synthesis and Transformation; Decision Procedures; Deployment; Specification, Refactoring and Testing; and Term and Graph Rewriting.

This book includes a collection of extended papers based on presentations given during the SimHydro 2023 conference, held in EDF Lab Chatou, France, with the support of Société Hydrotechnique de France (SHF), the Association Française de Mécanique (AFM), the Environmental and Water Resources Institute (EWRI), and the International Association for Hydro-Environment Engineering and Research (IAHR). SimHydro conferences, since 2010, have created a regular forum where major actors of the hydroinformatics domain and stakeholders meet, share, and debate about needs, innovations, and implementations of models and their inputs for decision making. For this new edition, the general theme of the conference is focused on “New modelling paradigms for water issues”. The papers address some of the key challenges faced by the water modelling community regarding processes to simulate such as water services, extreme events (floods, droughts, etc.), and hydrological cycle at catchment scale and to assess the added value of emerging concepts and methods such as Artificial Intelligence (AI) and Digital Twins that are gaining interests. It addresses the interests of practitioners, stakeholders, researchers, and engineers active in this field. This book represents Volume 1 of a two-volume book series.

This book constitutes the proceedings of the 47th German Conference on AI, KI 2024, which was held in Würzburg, Germany, during September 25–27, 2024. The 19 full papers, 7 short papers and 5 other papers presented in this book were carefully reviewed and selected from 63 submissions. KI is one of the major European AI conferences and traditionally brings together academic and industrial researchers from all areas of AI, providing an ideal place for exchanging news and research results on theory and applications. The papers have been categorized into the following sections: full technical papers; technical communications; extended abstracts of papers from other AI conferences.

This book constitutes the refereed proceedings of the 28th International Conference on Developments in Language Theory, DLT 2024, held in Göttingen, Germany, during August 12–16, 2024. The 17 full papers and 4 invited papers included in this book were carefully reviewed and selected from 26 submissions. They presented current developments in formal languages and automata. The scope is very general and includes, among others, the following topics and areas: grammars, acceptors and transducers for words; trees and graphs; relations between formal languages and artificial neural networks; algebraic theories of automata; algorithmic, combinatorial, and algebraic properties of words and languages; variable length codes; symbolic dynamics; cellular automata; groups and semigroups generated by automata; polyominoes and multidimensional patterns; decidability questions; image manipulation and compression; efficient text algorithms; relationships to cryptography, concurrency, complexity theory, and logic; bio-inspired computing; and quantum computing.

This open access book constitutes the proceedings of the First International Conference on Robust Argumentation Machines, RATIO 2024, which took place in Bielefeld, Germany, during June 5-7, 2024. The 20 full papers and 1 short paper included in the proceedings were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Argument Mining; Debate Analysis and Deliberation; Argument Acquisition, Annotation and Quality Assessment; Computational Models of Argumentation; Interactive Argumentation, Recommendation and Personalization; and Argument Search and Retrieval.

This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions. The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models. This book is open access.

The 1st International Conference on Disruptive Technologies in Computing and Communication Systems (ICDTCCS - 2023) has received overwhelming response on call for papers and over 119 papers from all over globe were received. We must appreciate the untiring contribution of the members of the organizing committee and Reviewers Board who worked hard to review the papers and finally a set of 69 technical papers were recommended for publication in the conference proceedings. We are grateful to the Chief Guest Prof Atul Negi, Dean – Hyderabad Central University, Guest of Honor Justice John S Spears -Professor University of West Los Angeles CA, and Keynote Speakers Prof A. Govardhan, Rector JNTU H, Prof A.V.Ramana Registrar – S.K.University, Dr Tara Bedi Trinity College Dublin, Prof C.R.Rao – Professor University of Hyderabad, Mr Peddigari Bala, Chief Innovation Officer TCS, for kindly accepting the invitation to deliver the valuable speech and keynote address in the same. We would like to convey our gratitude to Prof D. Asha Devi - SNIST, Dr B.Deevena Raju – ICFAI University, Dr Nekuri Naveen - HCU, Dr A.Mahesh Babu - KLH, Dr K.Hari Priya – Anurag University and Prof Kameswara Rao –SRK Bhimavaram for giving consent as session Chair. We are also thankful to our Chairman Sri Teegala Krishna Reddy, Secretary Dr. T.Harinath Reddy and Sri T. Amarnath Reddy for providing funds to organize the conference. We are also thankful to the contributors whose active interest and participation to ICDTCCS - 2023 has made the conference a glorious success. Finally, so many people have extended their helping hands in many ways for organizing the conference successfully. We are especially thankful to them.

IRTM 2023We live in an inter-connected world. In the era of Industry 5.0, technology is getting embedded more and more in the way ‘we learn, live, work and play'.This progression is accelerating at a pace never seen before. Inter disciplinary and collaborative research across disciplines within the Technology domain and Management domain, and across the Technology — Management interface is opening up exciting new possibilities for solving problems whose solutions are beyond the scope of a single discipline, domain or practice, and helping to create a brave, new world. We are living in an incredible time of change.Our effort to hold such an interdisciplinary conference, in the virtual mode, apparently resonated across the academic community, as was evident from the huge response that the first ever conference on “Interdisciplinary Research in Technology and Management”, (IRTM) held in February 2021 had received from participants across many countries. This has encouraged the organizers to hold the next edition of the conference physically in Kolkata on a larger scale in the online mode.The pandemic unleashed by Covid 19 in the last two years has shaken the socio-economic foundations of countries and societies to a point where the world cannot be the same as before the pandemic. It has re-focused the world's attention on the priority of healthcare, and healthcare infrastructure and its innovative management.Inevitably, questions have again been raised more vehemently on what kind of a world we want to live in. Environmental concerns are being pursued with renewed vigour, The urgency of developing new, robust infrastructure relevant for the new world is gaining wider consensus.By 2030, as reports suggest, cyber – physical systems, internet of things and wearable technology will be everywhere and in everything, renewable energy will power the world, and digital entertainment will take centre stage among other developments.The third edition of the conference on “Interdisciplinary Research in Technology and Management” attempts to spotlight the above concerns. The number of tracks on which papers are invited from scholars, researchers, consultants and practitioners to share their interdisciplinary research and consultative work has been enlarged. As before, the papers will be peer reviewed and authors of the selected papers will be invited to present their papers in the IRTM conference.The presentation of papers will be interspersed with Keynote Talks by eminent experts on the theme of the conference or individual domains.

This book constitutes the proceedings of the Second International Conference on Human and Artificial Rationalities, HAR 2023, which took place in Paris, France, in September 2023. The 18 full and 5 short papers included in this book were carefully reviewed and selected from 39 submissions. They were organized in topical sections as follows: Human and artificial thinking; human thinking and reasoning; neuropsychology and interaction; artificial agents and interaction; and applied reasoning. This volume also contains 2 invited talks in full-paper length.

This book constitutes the refereed proceedings of the XXIIIrd International Conference on AIxIA 2024 – Advances in Artificial Intelligence, AIxIA 2024, held in Bolzano, Italy, during November 25–28, 2024. The 24 full papers and 1 invited paper included in this volume were carefully reviewed and selected from 41 submissions. The papers cover the following topics: artificial intelligence; journals; Natural Language Processing, Machine Learning, Hybrid AI and Applications of AI.

This book constitutes the refereed proceedings of the 21st International Colloquium on Theoretical Aspects of Computing, ICTAC 2024, held in Bangkok, Thailand, during November 25–29, 2024. The 21 full papers presented here were carefully reviewed and selected from 46 submissions. They were categorized into the following topical sections: Invited Papers; Automata, Languages, and Learning; Algorithms and Complexity; Graphs and Games; Process Calculi; Verification and Reasoning.

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, and visiting professorships in France, Australia, and the UK. Since 2004 he has been a professor at RWTH Aachen University and is part-time associated with the University of Twente. Joost-Pieter's main areas of research are formal methods, computer-aided verification, concurrency theory, probabilistic computation, and semantics. Among many recognitions for this work, he is an ACM Fellow; he was elected as a member of the Academia Europaea, the Royal Holland Society of Science and Humanities, the North Rhine-Westphalian Academy of Science, Humanities and the Arts, and the Leopoldina, the German National Academy of Sciences; he received an honorary doctorate from Aalborg University. He was awarded an ERC Advanced Grant; he has won best paper, distinguished paper, or test-of-time awards at key conferences such as ETAPS, IEEE SRDS, POPL, CONCUR, and LOPSTR; and he has given keynotes at dozens of major events. He has chaired the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS) and the TACAS conference; he has been Program Chair, General Chair, or Program Committee member of hundreds of major conferences and workshops, and a board member of key journals; he has served on research boards (such as the EPSRC), doctoral committees, school and university committees, and IFIP working groups; and he coauthored Principles of Model Checking, a highly influential textbook. Throughout his career Joost-Pieter has been a remarkably successful teacher and mentor, supervising students and hosting postdoctoral researchers, many of whom have won awards for their research and advanced to senior positions, and he has collaborated in research and publications with a wide range of scientists. These successes are reflected in the papers contributed to this volume.

This Festschrift is dedicated to Joost-Pieter Katoen in recognition of his outstanding research, teaching, and organizational successes. Joost-Pieter received his Master's and later his Ph.D. from the University of Twente, and his Professional Doctorate in Engineering from Eindhoven University of Technology. He had research positions at the University of Erlangen-Nuremberg and Philips Research, and visiting professorships in France, Australia, and the UK. Since 2004 he has been a professor at RWTH Aachen University and is part-time associated with the University of Twente. Joost-Pieter's main areas of research are formal methods, computer-aided verification, concurrency theory, probabilistic computation, and semantics. Among many recognitions for this work, he is an ACM Fellow; he was elected as a member of the Academia Europaea, the Royal Holland Society of Science and Humanities, the North Rhine-Westphalian Academy of Science, Humanities and the Arts, and the Leopoldina, the German National Academy of Sciences; he received an honorary doctorate from Aalborg University. He was awarded an ERC Advanced Grant; he has won best paper, distinguished paper, or test-of-time awards at key conferences such as ETAPS, IEEE SRDS, POPL, CONCUR, and LOPSTR; and he has given keynotes at dozens of major events. He has chaired the Steering Committee of the European Joint Conferences on Theory and Practice of Software (ETAPS) and the TACAS conference; he has been Program Chair, General Chair, or Program Committee member of hundreds of major conferences and workshops, and a board member of key journals; he has served on research boards (such as the EPSRC), doctoral committees, school and university committees, and IFIP working groups; and he coauthored Principles of Model Checking, a highly influential textbook. Throughout his career Joost-Pieter has been a remarkably successful teacher and mentor, supervising students and hosting postdoctoral researchers, many of whom have won awards for their research and advanced to senior positions, and he has collaborated in research and publications with a wide range of scientists. These successes are reflected in the papers contributed to this volume.

This book constitutes the refereed proceedings of the 16th International Conference on Scalable Uncertainty Management, SUM 2024, held in Palermo, Italy, during November 27–29, 2024. The 28 full and 7 short papers presented in this volume were carefully reviewed and selected from 43 submissions. SUM 2024 solicited three types of paper submissions: Long papers reporting on original research or providing surveys that synthesize current research trends, short papers describing promising work in progress, systems, or positions on controversial issues, and extended abstracts.

This book constitutes the proceedings of the 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024, held in Kyoto, Japan, during October 22-24, 2024. The 18 full papers presented here were carefully reviewed and selected from 37 submissions. These papers have been categorized under the following topical sections: Type theory and Semantic Frameworks; Probabilistic and Declarative Programming; Quantum Computation; Logical Relations; Verification.

This book constitutes the proceedings of the 14th International Conference on Swarm Intelligence, ANTS 2024, which took place in Konstanz, Germany, during October 9-11, 2024. The 14 full papers and 5 short papers included in this book were carefully reviewed and selected from 33 submissions. They deal with self-organizing processes both in nature and in artificial systems.

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 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9–13, 2024. The 14 full papers included in this book were carefully reviewed and selected from 22 submissions. These papers have been organized in the following topical sections: Real-Time Systems/ Robotics; Semantics and Verification; Case Studies; Neural Networks.

This book is aimed at researchers specializing in the kinematics of robot mechanisms as well as at doctoral students in guiding their research work. A spectrum of the latest achievements in kinematics analysis, modelling, simulation, design and control is covered. New theories and methods are applied to serial, parallel and cable-driven mechanisms for use in industrial or service robotics. The systems range from being less than fully mobile to kinematically redundant and over-constrained. Forty-nine papers are included, arranged in seven chapters, as presented at the 19th Symposium on Advances in Robot Kinematics 2024. The symposium, which has been held since 1988, was organized this time in Ljubljana (Slovenia), where it began thirty-six years ago. The papers have been rigorously selected based on peer review and are arranged in chapters randomly, as is the prevailing tradition of these symposia. In doing so, we aim to give equal emphasis to each of these achievements.

This book constitutes the refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montréal, Québec, Canada, during August 5–9, 2024. The 21 full papers presented were carefully reviewed and selected from 28 submissions. These papers have been categorized into the following sections: AI and LLM; Proof Assistants; Logical Frameworks and Transformations; Knowledge Representation and Certification; Proof Search and Formalization & System Descriptions.

This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024. The 10 papers included in these proceedings were carefully reviewed and selected from 15 submissions. The papers cover a wide range of topics on theory, logics, and applications of coalgebras.

This book constitutes the refereed proceedings of the 16th International Symposium on Search-Based Software Engineering, SSBSE 2024, held in Porto de Galinhas, Brazil, during July 2024. The 8 papers included in these proceedings were carefully reviewed and selected from 19 submissions. The papers deal with various aspects and applications of search-based software engineering, focusing on engineering challenges and the application of automated approaches and optimization techniques from AI and machine learning research.

This book constitutes the proceedings of the 8th International Conference on Mathematical Software, ICMS 2024, held in Durham, UK, during July 22–25, 2024. The 37 full papers presented were carefully reviewed and selected from 46 submissions. The papers are organized in subject areas as follows: plenary lectures; number theory and related areas; novel formalisations of mathematics in lean; software for the applications of group theory to combinatorics; classical algebraic geometry & modern computer algebra: innovative software design and its applications; advancing computer algebra with massively parallel methods; computer algebra applications in the life sciences; machine learning within computer algebra systems; numerical software for special functions; mathematical research data; symbolic-numeric methods in algebraic geometry; Polyhedral geometry and combinatorics; general session.

This book constitutes the proceedings from the 30th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2024, held in Durham, United Kingdom, during July 22-24, 2024. The 10 full papers presented in these proceedings were carefully reviewed and selected from 18 submissions. These include papers from the 4 invited talks given by Alberto Dennunzio, Luca Mariot, Elisabeth Remy, and Agnieszka Rusinowska at the conference.

This book constitutes the refereed proceedings of the 17th International Conference on Graph Transformation, ICGT 2024, held in Enschede, The Netherlands, during July 10–11, 2024. The 10 full papers and 3 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: Theoretical Advances; Application Domains; and Tool and Blue Skies Presentations.

This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took place in Luxembourg in April 2024. The 14 full papers included in this book were carefully reviewed and selected from 41 submission. The proceedings also include 5 short papers from the Test-Comp 2024 event that was hosted by FASE. They deal with the broad field of software engineering, focusing on requirements, design, architecture, modeling, applications of AI to software engineering and software engineering for AI-based systems, quality, model-driven engineering, processes, and software evolution.

This book constitutes the proceedings of the 21st Australasian Conference on Data Science and Machine Learning, AusDM 2023, held in Auckland, New Zealand, during December 11–13, 2023.The 20 full papers presented in this book were carefully reviewed and selected from 50 submissions. The papers are organized in the following topical sections: research track and application track. They deal with topics around data science and machine learning in everyday life.

This volume features a selection of technical papers presented at the workshop “The Fifth Workshop on Interdisciplinary Sciences (WIS 2023)'. Contributions from esteemed researchers and academics in applied mathematics, AI, and statistics offer valuable insights into their latest research. The papers also delve into interdisciplinary applications, spanning fields such as agriculture and economics, with strong emphasis on data analysis techniques. We hope this proceedings volume will serve as a valuable resource for scholars, researchers, and practitioners interested in the recent advancements and emerging trends in interdisciplinary sciences.

This book is the proceedings of the 4th International Conference on Advances in Computational Science and Engineering (ICACSE 2023, December 16–17, 2023, Manila, Philippines) and contains the selected peer-reviewed papers which reflect recent achievements in the field of application of the computational methods and algorithms in scientific research and engineering design. The papers presented covered topics such as advances in system integration, high-performance computing, modeling, and simulation, big data analytics, big data visualization, advanced networking and applications, cybersecurity, augmented and virtual reality, artificial intelligence and robotics, soft computing data science, and intelligent knowledge discovery. The book is useful, interesting, and informative for a wide range of scientists, engineers, and students.

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.

This second volume of conference proceedings contains selected papers presented at ICGEC 2023, the 15th International Conference on Genetic and Evolutionary Computing, held on October 6-8, 2023 in Kaohsiung, Taiwan. The conference is intended as an international forum for the researchers and professionals in all areas of genetic and evolutionary computing. And the readers may know the up-to-date techniques of the mentioned topics, including technologies for next-generation network environments, recent progress in computational electromagnetic dynamics, future cyber security, privacy and forensics for advanced systems, data mining techniques and its applications, optimization models in deep learning and machine learning. It will help readers bring new ideas or apply the designed approaches from the collected papers to their professional jobs.

This book constitutes the refereed proceedings of the 20th International Symposium on Algorithmics of Wireless Networks, ALGOWIN 2024, held in Egham, UK, in September 2024. The 14 full papers presented here were carefully reviewed and selected from 26 submissions. These papers focus on the Algorithmic aspects of Wireless networks, including the design and analysis of Algorithms, Models of computation and Experimental analysis, involved in various types of computational entities.

This book constitutes the refereed post-conference proceedings from the 18th EAI International Conference on Body Area Networks, BODYNETS 2024-A, held in Milan, Italy, in February 5-6, 2024. The 20 full papers presented here were carefully reviewed and selected from 48 submissions. These papers have been organized in the following topical sections: Implantable devices and In-body communication; Body area networks and transmission technologies; Smart healthcare applications; Privacy and security in wireless body area networks.

This book constitutes the refereed proceedings of the 28th International Conference on Analytical and Stochastic Modelling Techniques and Applications, ASMTA 2024, held in Venice, Italy, on June 14, 2024. The 10 full papers presented were carefully reviewed and selected from 14 submissions. These papers covered a wide range of topics in analytical and stochastic modeling techniques and their applications.

This book constitutes the refereed proceedings of the 23rd Asia Simulation Conference on Methods and Applications for Modeling and Simulation of Complex Systems, AsiaSim 2024, held in Kobe, Japan, during September 17–20, 2024. The 28 full papers presented here, were carefully selected and reviewed from 120 submissions. These papers have been categorized into the following topical sections: Methods for Simulation and Modeling; Simulation for Science, Industry and Society; Interdisciplinary Simulation and Machine Learning; Networks and Complex Systems & Modeling, Simulaiton, and Visualization of Digital Twin.

This book constitutes the proceedings of the 21st International Conference on Comparative Genomics, RECOMB-CG 2024, which was held in Boston, MA, USA, during April 27–28, 2024. The 13 full papers presented in this book were carefully reviewed and selected from 21 submissions. The papers are divided into the following topical sections: phylogenetic networks; homology and phylogenetic reconstruction; tools for evolution reconstruction; genome rearrangements; and genome evolution.

This LNCS conference volume constitutes the proceedings of the 13th International Symposium, FoIKS 2024, in Sheffield, UK, in April 2024. The 18 full papers together with 3 short papers included in this volume were carefully reviewed and selected from 42 submissions.The Symposium focuses on fundamental aspect of information and knowledge systems, including submissions that apply ideas, theories, or methods from specific disciplines to information and knowledge systems. Examples of such disciplines are discrete mathematics, logic and algebra, model theory, databases, information theory, complexity theory, algorithmics and computation, statistics, and optimization.

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.