Search

This Open Access book constitutes the refereed proceedings of the First International Workshop on Natural Scientific Language Processing and Research Knowledge Graphs, NSLP 2024, held in Hersonissos, Crete, Greece, on May 27, 2024. The 10 full papers and 11 short papers included in this volume were carefully reviewed and selected from a total of 26 submissions. The proceedings aims to bring together researchers working on the processing, analysis, transformation and making use-of scientific language and research knowledge graphs including all relevant sub-topics.

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.

Infotext (nur auf Basis des Vorgängers): 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.

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.

This open-access book presents the best research papers from the XIV International Congress on Tourism and Information and Communications Technologies (TURITEC2023), held in Málaga, Spain from 19 to 20 October 2023. The book explores the profound impact of COVID-19 on the tourism industry and the increasing importance of digitalization and Information and Communication Technologies (ICTs) as key drivers for the industry's recovery, alongside sustainability. This curated collection of research papers offers conceptualizations, methodologies, analyses, and empirical case studies that illuminate the path to a resilient and sustainable future for tourism.

The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024. The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows: Part I: Effects and modal types; bidirectional typing and session types; dependent types; Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation.

This two-volume set constitutes the refereed proceedings of the First Nordic Conference on , Digital Health and Wireless Solutions, NCDHWS 2024, held in Oulu, Finland, during May 7–8, 2024. The 51 full papers included in this book together with 7 short papers were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Part I: Remote Care and Health Connectivity Architectures in 6G Era.- User Experience and Citizen Data.- Digitalization in Health Education.- Digital Health Innovations.- Digital Care Pathways. Part II: Clinical Decision Support and Medical AI.- Digital Care Pathways.- Novel Sensors and Bioinformatics.- Health Technology Assessment and Impact Evaluation.- Wireless Technologies and Medical Devices. This book is open access.

This two-volume set constitutes the refereed proceedings of the First Nordic Conference on , Digital Health and Wireless Solutions, NCDHWS 2024, held in Oulu, Finland, during May 7–8, 2024. The 51 full papers included in this book together with 7 short papers were carefully reviewed and selected from 100 submissions. They were organized in topical sections as follows: Part I: Remote Care and Health Connectivity Architectures in 6G Era.- User Experience and Citizen Data.- Digitalization in Health Education.- Digital Health Innovations.- Digital Care Pathways. Part II: Clinical Decision Support and Medical AI.- Digital Care Pathways.- Novel Sensors and Bioinformatics.- Health Technology Assessment and Impact Evaluation.- Wireless Technologies and Medical Devices. This book is open access.

This open access book constitutes the revised selected papers of the First International Symposium on AI, Data and Digitalization, SAIDD 2023, held in Sogndal, Norway, during May 9–10, 2023. The 13 full papers included in this volume were carefully reviewed and selected from 42 submissions. The papers deal with the impact of data and AI on the digital revolution and their contribution to solving societal challenges.

The two-volume open access book set LNCS 14576 + 14577 constitutes the proceedings of the 33rd European Symposium on Programming, ESOP 2024, which was held during April 6-11, 2024, in Luxemburg, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024. The 25 full papers and 1 fresh perspective paper presented in these proceedings were carefully reviewed and selected from 72 submissions. The papers were organized in topical sections as follows: Part I: Effects and modal types; bidirectional typing and session types; dependent types; Part II: Quantum programming and domain-specific languages; verification; program analysis; abstract interpretation.

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 open access book constitutes the refereed proceedings of the 23rd International Conference on Software Business, ICSOB 2023, which was held in Lahti, Finland, during November 27–29, 2023. The special theme of ICSOB 2023 was Digital Agility: Mastering Change in Software Business and Digital Services. The 27 full papers and 8 short papers presented in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Requirements; software procurement; platforms, ecosystems and data; artificial intelligence; software startups; software product management; software and business co-development; and emerging digital world.

This open access volume of LIDC contributions focuses on how competition and intellectual property laws incorporate sustainability objectives. Businesses are increasingly embracing sustainability objectives, driven by the international community. Although competition and intellectual property law are certainly not the only tools for addressing sustainability issues, they can play a role in moving toward a more sustainable society. Sustainability has gained prominence in competition law in all jurisdictions covered in this volume. The contributions focus on classic questions such as whether sustainability agreements restrict competition and, if so, to what extent businesses can be exempted on efficiency grounds. The papers also raise a number of questions, in particular concerning the treatment of non-market efficiencies. The soft law and case law produced by competition authorities are examined, and the leadership role of some competition authorities in the field – from advocacy to policy papers and sustainability guidelines – is highlighted. The authors call for more individual guidance to provide enhanced transparency and clarity to industry, advisors and society at large on sustainability issues, with guidelines or sustainability-related block exemptions providing even greater legal certainty. With regard to intellectual property, the contributions examine various important issues, such as the need for intellectual property rights to remain technology-neutral, ways to promote the use of sustainable technologies and incentives for licensing, and ways to promote the dissemination of sustainable technologies, including compulsory licensing, cross-licensing, open source or FRAND licensing, and replacing the destruction of counterfeit goods with recycling. The papers also discuss greenwashing and how it can be addressed through revisions to trademarks and related rights.

This open access book constitutes papers from the research workshops presented at XP 2022 and XP 2023, respectively the 23rd and 24th International Conferences on Agile Software Development, held on June 13-17, 2022 at the IT University of Copenhagen, Denmark and June 13-16, 2023 in Amsterdam, Netherlands. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. In 2022, the following workshops took place: ● 3rd International Workshop on Agility with Microservices Programming ● 2nd International Workshop on Agile Sustainability ● Agile and Education In 2023, six workshops were held: ● Workshop on Organisational Debt and Large-Scale Agile ● Workshop on Software-Intensive Business ● Workshop on Global and Hybrid Work ● Workshop on Fear-Based Agile Transformation ● Workshop on AI-assisted Agile ● Workshop on Agile-Quantum Software Engineering In 2022, 6 workshop papers were accepted for publication in these post-proceedings, out of 11 submissions, and in 2023, 15 papers were accepted for publication out of 38 submissions.

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows: Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata; Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.

The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th International Symposium on Formal Methods, FM 2024, which took place in Milan, Italy, in September 2024. The 51 full and 4 short papers included in these proceedings were carefully reviewed and selected from 219 submissions. They also include 2 invited talks in full paper length and 10 tutorial papers. The contributions were organized in topical sections as follows: Part I: Invited papers; fundamentals of formal verification; foundations; learn and repair; programming languages.- logic and automata; Part II: Tools and case studies; embedded systems track; industry day track; tutorial papers.

This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving. This is an open access book.

This open access book constitutes the proceedings of the 8th International Joint Conference on Electronic Voting held in Luxemburg in October 2023. The conference collected the most relevant debates on the development of Electronic Voting, from aspects relating to security and usability through to practical experiences and applications of voting systems, also including legal, social, or political aspects, amongst others. The 9 full papers presented were carefully reviewed and selected from 38 submissions. The selected papers cover a wide range of topics connected with electronic voting, including experiences and revisions of the actual uses of E-voting systems and corresponding processes in elections.

This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs; modal logics; linear logic and MV-algebras; separation logic; and first-order logics.

This open access book constitutes the refereed proceedings of the 20th International Conference on Digital Health Transformation and Smart Ageing, ICOST 2023, held in Wonju, South Korea, during July 7–8, 2023. The 18 full papers and 16 short papers included in this book were carefully reviewed and selected from 41 submissions. They were organized in topical sections as follows: IoT and AI Solutions for E-health, Biomedical and Health Informatics, Wellbeing Technologies, Short Contributions: Medical Systems and E-health Solutions and Short Contributions: Wellbeing Technologies.

This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.

This open access book constitutes the proceedings of the 24th International Conference on Agile Software Development, XP 2023, which took place in Amsterdam, The Netherlands, during June 13-16, 2023. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. This year’s conference was held with the theme “Whole Team Sustainability”. The 11 full papers and 1 short paper presented in this volume were carefully reviewed and selected from 40 submissions. They focus on agile practices and agile in the large.

This open access book constitutes revised selected papers from the International Workshops held at the 4th International Conference on Process Mining, ICPM 2022, which took place in Bozen-Bolzano, Italy, during October 23–28, 2022. The conference focuses on the area of process mining research and practice, including theory, algorithmic challenges, and applications. The co-located workshops provided a forum for novel research ideas. The 42 papers included in this volume were carefully reviewed and selected from 89 submissions. They stem from the following workshops: – 3rd International Workshop on Event Data and Behavioral Analytics (EDBA) – 3rd International Workshop on Leveraging Machine Learning in Process Mining (ML4PM) – 3rd International Workshop on Responsible Process Mining (RPM) (previously known as Trust, Privacy and Security Aspects in Process Analytics) – 5th International Workshop on Process-Oriented Data Science for Healthcare (PODS4H) – 3rd International Workshop on Streaming Analytics for Process Mining (SA4PM) – 7th International Workshop on Process Querying, Manipulation, and Intelligence (PQMI) – 1st International Workshop on Education meets Process Mining (EduPM) – 1st International Workshop on Data Quality and Transformation in Process Mining (DQT-PM)

This open access book constitutes selected papers presented during the 30th Irish Conference on Artificial Intelligence and Cognitive Science, held in Munster, Ireland, in December 2022. The 41 presented papers were thoroughly reviewed and selected from the 102 submissions. They are organized in topical sections on ​machine learning, deep learning and applications; responsible and trustworthy artificial intelligence; natural language processing and recommender systems; knowledge representation, reasoning, optimisation and intelligent applications.

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.

This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.

This open access book constitutes the proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 12 regular papers presented in this volume were carefully reviewed and selected from 50 submissions. The proceedings also contain 2 tool papers, 2 NIER papers, and 2 competition papers from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications. .

This open access volume contains a selection of papers presented at three different IAG Symposia held in 2022: GGHS2022 – Gravity, Geoid, and Height Systems 2022, Austin, TX, United States of America, September 12 – 14, 2022; IAG Commission 4 – Positioning and Applications, Potsdam, Germany, September 5 – 8, 2022; and REFAG2022 – Reference Frames for Applications in Geosciences, Thessaloniki, Greece, October 17 – 20, 2022. Two of these three conferences were planned for 2020 or 2021, but had to be postponed due to the COVID19 pandemic. They therefore became an important opportunity for the global geodesy community to rebuild professional networks and to resume face-to-face interaction. Scientists from around the world were delighted to once again gather together to present their research progress and findings, and discuss scientific issues.

This open access proceedings presents new approaches to Machine Learning for Cyber-Physical Systems, experiences and visions. It contains some selected papers from the international Conference ML4CPS – Machine Learning for Cyber-Physical Systems, which was held in Hamburg (Germany), March 29th to 31st, 2023. Cyber-physical systems are characterized by their ability to adapt and to learn: They analyze their environment and, based on observations, they learn patterns, correlations and predictive models. Typical applications are condition monitoring, predictive maintenance, image processing and diagnosis. Machine Learning is the key technology for these developments. This is an open access book.

This open access book constitutes the proceedings of the 25th International Conference on Agile Software Development, XP 2024, which took place in Bozen-Bolzano, Italy, during June 04-07, 2024. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. This year’s conference was held with the theme “Reflect, Adapt, Envision”. The 10 full and 2 short papers included in these proceedings were carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: agile at scale; value and quality in agile; and people and teams in agile.

For more than 30 years, Information and Communication Technology (ICT) has been revolutionizing travel, tourism, and hospitality, and as we look to the next 30 years, the change of pace does not seem to be diminishing. This open-access book provides an extensive overview of the latest developments of ICTs in the tourism and hospitality industry. Featuring papers presented at the International Federation for IT and Travel & Tourism’s (IFITT) 31st annual ENTER International eTourism Conference (ENTER24) held in Izmir, Türkiye, this book presents research on topics such as artificial general intelligence (AGI) in tourism and hospitality; emerging technologies in tourism education; virtual reality; technologies for sustainability, health and wellbeing; big data and analytics, among others. This is an open access book.

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg. The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg. The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024. The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.

The two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024. The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems.

This open access book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 2022. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice. The book contains five papers that describe the works by Jannik Fischbach (Netlight Consulting GmbH and fortiss GmbH), who won the award, entitled Conditional Statements in Requirements Artifacts: Logical Interpretation, Use Cases for Automated Software Engineering, and Fine-Grained Extraction, Christian Kirchhof's (RWTH Aachen University) From Design to Reality: An Overview of the MontiThings Ecosystem for Model-Driven IoT Applications, Sven Peldszus's (Ruhr University Bochum) research about Security Compliance in Model-driven Development of Software Systems in Presence of Long-Term Evolution and Variants, Florian Rademacher's (RWTH Aachen University) work on Model-Driven Engineering of Microservice Architectures, and Alexander Trautsch's (University of Passau) Usefulness of Automatic Static Analysis Tools: Evidence from Four Case Studies. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.

This open access book includes a selection of innovative contributions presented at the 4th international conference “Smart and Sustainable Planning for Cities and Regions 2022”, held in Bolzano, Italy in July 2022. Featuring 10 papers by academics and consultants, strongly rooted in practical experiences and international projects, it discusses current ground-breaking research in innovative and sustainable planning for cities, with a focus on the environmental, economic, and social challenges associated with the global sustainability transition and energy systems integration. The contributions are illustrative of the richness of the issues discussed and the breadth of the emerging themes, including innovative business models for building and infrastructure at district level, integrated sustainability assessment schemes for Positive Energy Districts, a material flow accounting model for regional metabolism, energy communities as a lever to promote historical and landscape values, optimized and electrified last-mile logistics, multi-criteria decision analysis tools to redefine center/periphery relationships, a framework for socio-spatial analysis related to social practices, design principles and communication technologies improving both indoor and outdoor public spaces, augmented nature-based solution coupling the green elements with the latest technologies to deliver healthier and more appealing cities.

This open access book is a superb collection of some fifteen chapters inspired by Schroeder-Heister's groundbreaking work, written by leading experts in the field, plus an extensive autobiography and comments on the various contributions by Schroeder-Heister himself. For several decades, Peter Schroeder-Heister has been a central figure in proof-theoretic semantics, a field of study situated at the interface of logic, theoretical computer science, natural-language semantics, and the philosophy of language. The chapters of which this book is composed discuss the subject from a rich variety of angles, including the history of logic, the proper interpretation of logical validity, natural deduction rules, the notions of harmony and of synonymy, the structure of proofs, the logical status of equality, intentional phenomena, and the proof theory of second-order arithmetic. All chapters relate directly to questions that have driven Schroeder-Heister's own research agenda and to which he has made seminal contributions. The extensive autobiographical chapter not only provides a fascinating overview of Schroeder-Heister's career and the evolution of his academic interests but also constitutes a contribution to the recent history of logic in its own right, painting an intriguing picture of the philosophical, logical, and mathematical institutional landscape in Germany and elsewhere since the early 1970s. The papers collected in this book are illuminatingly put into a unified perspective by Schroeder-Heister's comments at the end of the book. Both graduate students and established researchers in the field will find this book an excellent resource for future work in proof-theoretic semantics and related areas.

This open access book includes a selection of innovative contributions presented at the 4th international conference “Smart and Sustainable Planning for Cities and Regions 2022”, held in Bolzano, Italy in July 2022. Featuring 10 papers by academics and consultants, strongly rooted in practical experiences and international projects, it discusses current ground-breaking research in innovative and sustainable planning for cities, with a focus on the environmental, economic, and social challenges associated with the global sustainability transition and energy systems integration. The contributions are illustrative of the richness of the issues discussed and the breadth of the emerging themes, including innovative business models for building and infrastructure at district level, integrated sustainability assessment schemes for Positive Energy Districts, a material flow accounting model for regional metabolism, energy communities as a lever to promote historical and landscape values, optimized and electrified last-mile logistics, multi-criteria decision analysis tools to redefine center/periphery relationships, a framework for socio-spatial analysis related to social practices, design principles and communication technologies improving both indoor and outdoor public spaces, augmented nature-based solution coupling the green elements with the latest technologies to deliver healthier and more appealing cities.

This book constitutes the proceedings of the 16th International Conference on Informatics in Schools: Situation, Evolution and Perspectives, ISSEP 2023, held in Lausanne, Switzerland, during October 23–25, 2023. The 14 full papers presented in this book were carefully reviewed and selected from 47 submissions. They are organized in four topical sections named: artificial intelligence and its applications; competitions, problem solving, and computational; robotics and unplugged modalities; and curricula and computer science concepts. This is an open access book.

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.

This is an open access book. FACTUM Conference proceedings are the output of one of the few academic events of its nature happening globally, researching fashion communication from different angles and perspectives. It includes contributions from scholars studying communication and marketing, management, digital transformation, and cultural heritage, among other disciplines. This book presents papers from the third bi-annual Conference, which aims to become the major reference point in the field. These proceedings seek to promote theoretical and empirical interdisciplinary work on how various communication practices impact both the fashion industry and societal fashion-related practices and values. With these proceedings, several objectives are aimed to be achieved, namely: - to establish and consolidate an international and interdisciplinary network of scholars in the field of fashion communication; - to share methodological approaches; - to expand the dialogue between communications studies and fashion-related disciplines; - to encourage junior researchers to pursue their scientific interests in this field. Finally, the book can be used by professionals in the field of fashion communication and marketing, who are eager to access sound research in a field that is developing very fast due to its digital transformation.

This is an open access book. This book contains research papers presented at the 3rd International Conference on Energy and Sustainable Futures (ICESF), which took place at Coventry University, UK, in 2022. The ICESF is an annual conference organised by the UK-based Doctorial Training Alliance (DTA) programme. It is a multidisciplinary conference focused on addressing the future challenges and opportunities for meeting global energy targets and sustainable development goals. The conference brought together academic researchers, industry experts and research students to showcase the latest innovations and research on a wide range of topics in the areas of energy and sustainability, including • renewable energy; • ICT and control; • computational fluid dynamics; • optimization; • conventional energy sources; • energy governance; • materials in energy research; • energy storage and • energy access.

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.

The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of the 35th International Conference on Computer Aided Verification, CAV 2023, which was held in Paris, France, in July 2023. The 67 full papers presented in these proceedings were carefully reviewed and selected from 261 submissions. The have been organized in topical sections as follows: Part I: Automata and logic; concurrency; cyber-physical and hybrid systems; synthesis; Part II: Decision procedures; model checking; neural networks and machine learning; Part II: Probabilistic systems; security and quantum systems; software verification.

This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.

This Open Access book aims to present practical contributions to the ethics governance framework, the conceptualization and characteristics of ethics tools, as well as the experience gained from their application in different institutions. Its main objective is to provide a practical and useful guide that will help other institutions to start introducing Research Ethics effectively in their organizations. The European initiative ETHNA System has designed an ethics governance framework that can be implemented following specific guidelines and tools that can help different types of institutions to promote and generate responsible research and innovation. The papers included in this book were organized in topical sections as follows: foundations; experiences and lessons learned; ethics tools in practice; and looking into the future: main challenges.

This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

This open access book provides an extensive overview of the usage of information and communication technologies in the tourism and hospitality industry. It presents the proceedings of the International Federation for IT and Travel & Tourism (IFITT)’s 30th Annual International eTourism Conference, which assembles the latest research presented at the ENTER2023 conference. The enclosed papers cover various topics within the field, including augmented and virtual reality, website development, social media use, e-learning, big data, analytics and recommendation systems.

This open access book constitutes refereed proceedings of the Third Conference on Silicon Valley Cybersecurity Conference, SVCC 2022, held as virtual event, in August 17–19, 2022. The 8 full papers included in this book were carefully reviewed and selected from 10 submissions. The contributions are divided into the following thematic blocks: Malware Analysis; Blockchain and Smart Contracts; Remote Device Assessment. This is an open access book.