Search

This book contains visionary and best papers from the workshops held at the International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, held in London, UK, during May 29–June 2, 2023.The 12 regular papers, 5 best papers and 7 visionary papers, presented were carefully reviewed and selected from a total of more than 110 contributions to the workshops. They focus on emerging topics and new trends in the area of autonomous agents and multiagent systems and stem from the following workshops:- Workshop on Autonomous Robots and Multirobot Systems (ARMS)- Workshop on Adaptive and Learning Agents (ALA)- Workshop on Interdisciplinary Design of Emotion Sensitive Agents (IDEA)- Workshop on Rebellion and Disobedience in Artificial Intelligence (RaD-AI)- Workshop on Neuro-symbolic AI for Agent and Multi-Agent Systems (NeSyMAS)- Workshop on Multiagent Sequential Decision Making under Uncertainty (MSDM)- Workshop on Citizen-Centric Multi-Agent Systems (C-MAS)

This book constitutes thoroughly refereed and revised selected best and visionary papers from the Workshops held at the International Conference on Autonomous Agents and Multiagent Systems AAMAS 2022, which took place online, during May 9–13, 2022.The 5 best papers and 4 visionary papers included in this book stem from the following workshops: - 13th Workshop on Optimization and Learning in Multi-agent Systems (OptLearnMAS);- 23rd Workshop on Multi-Agent Based Simulation (MABS);- 6th Workshop on Agent-Based Modelling of Urban Systems (ABMUS);- 10th Workshop on Engineering Multi-Agent Systems (EMAS);- 1st Workshop on Rebellion and Disobedience in AI (RaD-AI).There was a total of 59 submissions to these workshops.

This proceedings LNCS 13516 constitutes the refereed proceedings of the 24th International Conference on Human-Computer Interaction, HCII 2022, which was held virtually as part of the 24th International Conference, HCII 2022, during June 26 to July 1, 2022. HCII 2022 received a total of 5583 submissions from academia, research institutes, industry, and governmental agencies from 88 countries submitted contributions, and 1276 papers and 275 posters were included in the proceedings that were published just before the start of the conference. Additionally, 296 papers and 181 posters are included in the volumes of the proceedings published after the conference, as “Late Breaking Work” (papers and posters). The contributions thoroughly cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of application areas.

This book constitutes revised selected papers from the following SEFM 2012 satellite events: InSuEdu, the First International Symposium on Innovation and Sustainability in Education; MokMaSD, the First International Symposium on Modelling and Knowledge Management for Sustainable Development and Open Cert, the 6th International Workshop on Foundations and Techniques for Open Source Software Certification, held in Thessaloniki, Greece, in October 2012. The total of 14 regular papers and 7 short papers included in this volume were carefully reviewed and selected from 35 submissions. The papers cover the topics related to the use of Information and Communication Technology (ICT) and Open Source Software (OSS) as tools to foster and support Education, Innovation and Sustainability.

This volume constitutes short papers and DETECT 2022 workshop papers, presented during the 11th International Conference on Model and Data Engineering, MEDI 2022, held in Cairo, Egypt, in November 2022.The 11 short papers presented were selected from the total of 65 submissions. This volume also contains the 4 accepted papers from the DETECT 2022 workshop, held at MEDI 2022. The volume focuses on advances in data management and modelling, including topics such as data models, data processing, database theory, database systems technology, and advanced database applications.

This book constitutes the post-conference proceedings of the 25th International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2023, held in Moscow, Russia, during 24-27 October 2023. The 21 papers presented here were carefully reviewed and selected from 75 submissions. These papers are organized in the following topical sections: Data Models and Knowledge Graphs; Databases in Data Intensive Domains; Machine learning methods and applications; Data Analysis in Astronomy & Information extraction from text. Papers from keynote talks have also been included in this book.

This two-volume set CCIS 1981 and 1982 constitutes the refereed post-conference proceedings of the Third International Conference on Optimization, Learning Algorithms and Applications, OL2A 2023, held in Ponta Delgada, Portugal, in September 2023.The 66 revised full papers presented in these proceedings were carefully reviewed and selected from 162 submissions. The papers are organized in the following topical sections:Volume I:Machine learning; learning algorithms in engineering education; machine learning and data analysis in internet of things; optimization; optimization in the SDG context.Volume II:Computer vision based on learning algorithms; machine learning and AI in robotics; optimization in control systems design.

This book constitutes of the revised selected papers presented at the CCF 17th International Conference on Service Science, ICSS 2024, held in Hong Kong, China, in May 11–12, 2024. The 12 full papers and 2 short papers presented here were carefully reviewed and selected from 21 submissions. These papers have been categorized into the following sections: Cloud service and Edge service; Knowledge-inspired service; Trustworthy services & Service application.

This book constitutes thoroughly refereed and revised selected papers from the 12th Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2023, held in Havana, Cuba, during October 16–17, 2023. The 9 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: ​technologies, services and content creation for interactive digital TV; health and socialization through interactive TV; user interfaces, interaction and accessibility.

This book constitutes the revised selected papers of the 6th Ibero-American Congress on Smart Cities, ICSC-Cities 2023, held in Mexico City and Cuernavaca, Mexico, during November 13–17, 2023. The 19 full papers included in this book were carefully reviewed and selected from 94 submissions. They were organized in topical sections as follows: Urban Informatics for Smart Cities; Optimization, Smart Industry, and Smart Public Services; Internet of Things; Computational Intelligence and Urban Informatics for Smart Cities and Innovative Informatic Approaches for Smart Cities.

This two-volume set CCIS 1981 and 1982 constitutes the refereed post-conference proceedings of the Third International Conference on Optimization, Learning Algorithms and Applications, OL2A 2023, held in Ponta Delgada, Portugal, in September 2023.The 66 revised full papers presented in these proceedings were carefully reviewed and selected from 162 submissions. The papers are organized in the following topical sections:Volume I:Machine learning; learning algorithms in engineering education; machine learning and data analysis in internet of things; optimization; optimization in the SDG context.Volume II:Computer vision based on learning algorithms; machine learning and AI in robotics; optimization in control systems design.

This book constitutes revised selected papers from the 4th International Workshop on Distributed Computing for Emerging Smart Networks, DiCES-N 2023, which took place in Bizerte, Tunisia, on May 27, 2023.The 6 full papers included in this book were carefully reviewed and selected from 13 submissions. The book also contains one invited talk. The contributions focus on vehicular networks and emerging technologies and cyber safety and security of intelligent transportation systems.

This book constitutes the refereed proceedings of the 18th Symposium and Summer School on Service-Oriented Computing, SummerSOC 2024, held in Crete, Greece, during June 24–29, 2024. The 8 revised full papers and 1 short paper presented in these proceedings were carefully reviewed and selected from 24 submissions. They cover the following topics: modeling the digital world; quantum computing; data platforms.

This book constitutes the refereed post-conference proceedings from the 15th TPC Technology Conference on Performance Evaluation and Benchmarking, TPCTC 2023, held in Vancouver, British Columbia, Canada, during August 28 – September 1, 2023. The 9 full papers included in this book were carefully reviewed and selected from 17 submissions. These papers focus on various novel ideas and methodologies for Performance evaluation and Benchmarking in emerging technology areas.

This book constitutes the revised selected papers of the 13th International Conference on HPCST 2023, held in Barnaul, Russia, during May 19–20, 2023.The 21 full papers included in this book were carefully reviewed and selected from 81 submissions. The papers are organized in topical sections as follows: Hardware for High-Performance Computing and Signal Processing; Information Technologies and Computer Simulation of Physical Phenomena; Computing Technologies in Data Analysis and Decision Making; Information and Computing Technologies in Automation and Control Science; Computing Technologies in Information Security Applications.

This book constitutes the revised selected papers of the 5th International Workshop on Dynamic Logic. New Trends and Applications, DaLí 2023, held in Tbilisi, Georgia, during September 15–16, 2023. The 8 full papers in this book were carefully reviewed and selected from 10 submissions. They deal with new trends and applications in the area of Dynamic Logic.

This open access book constitutes revised selected papers from the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled use of AI via the various kinds of formal methods-based validation techniques; dedicated applications scenarios which may allow certain levels of assistance; and education in times of deep learning.

This volume constitutes short papers and DEITS 2023 workshop papers, presented during the 12th International Conference on Model and Data Engineering, MEDI 2023, held in Sousse, Tunisia, in November 2023.The 12 short papers presented were selected from the total of 99 submissions. This volume also contains the 7 accepted papers from the DEITS 2023 workshop, held at MEDI 2023. The volume focuses on machine learning and optimization; natural language processing; modeling and data management; healthcare applications; data engineering in IoT systems.

This book constitutes the refereed post-proceedings of the 11th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2023, which took place in Lisbon, Portugal during February 19-21, 2023. The 8 full papers included in this book were carefully reviewed and selected from 41 submissions. The papers are categorized under the topical sections as follows: Applications and System Development and Modeling Languages, Tools and Architectures.

This volume constitutes the papers of several workshops which were held in conjunction with the International Conference on Web Engineering, ICWE 2023, held in Alicante, Spain, in June 6–9, 2023.The 10 revised full papers and 2 short papers presented in this book were carefully reviewed and selected from 23 submissions. They stem from the following workshops:Third International Workshop on Big Data Driven Edge Cloud Services (BECS 2023) Second International Workshop on the Semantic Web of Everything (SWEET 2023) Second International Workshop on Web Applications for Life Sciences (WALS2023)

This book constitutes the revised selected papers of the First International Conference, ICSD 2023, virtually held in Delhi, India, during July 15–16, 2023.The book comprises 31 full papers that were selected from a total of 129 submissions. It provides insights into the latest research and advancements in sustainable development through the integration of machine learning, artificial intelligence, and IoT technologies. It serves as a valuable resource for researchers, practitioners, and policymakers working in the field of sustainable development.

The two-volume set LNAI 13495 and LNAI 13496, constitute the refereed post-workshop proceedings of the 23rd Chinese Lexical Semantics Workshop, CLSW 2022, held as a virtual event, during May 14-15, 2022. In total the two-volume set includes 39 full papers and 19 short papers which were carefully reviewed and selected from 214 submissions. They are organized in the following topical sections: lexical semantics; corpus linguistics; general linguistics, lexical resources; computational linguistics, applications of natural language processing.

This volume constitutes selected and revised papers presented at the First International Conference on Advancements in Interdisciplinary Research, AIR 2022, held in Allahabad, India, in May 2022. The 49 papers were thoroughly reviewed and selected from the 252 submissions. They are organized in topical sections on ​novel technologies enabled secured privacy models and optimized networking infrastructures toward secure industries; developments towards sustainable healthcare sector; machine learning and deep learning enabled applications in different sectors; robotics and computer vision for intelligent automation in industries; trending technologies: frameworks and applications focusing real life issues.

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2022, held as a virtual event in June 2022 (due to the Covid-19 pandemic).The 12 revised full papers presented were carefully reviewed and selected from 19 submissions. In addition to this,1 keynote paper was included in the workshop. The volume contains two sections: Technical papers and Open Scheduling Problems.

This volume constitutes the papers of the 3rd International Workshop on Active Inference, IWAI 2022, held in Grenoble, France, in conjunction with ECML/PKDD, on September 19, 2022.The 25 revised full papers presented in this book were carefully reviewed and selected from 31 submissions.

This volume constitutes the papers of several workshops which were held in conjunction with the ICWE 2022 International Workshops, BECS, SWEET and WALS, held in Bari, Italy, July 5–8, 2022.The 14 revised full papers and 1 short paper presented in this book were carefully reviewed and selected from 25 submissions. ICWE 2022 presents the following three workshops:Second International Workshop on Big Data driven Edge Cloud Services (BECS 2022)First International Workshop on the Semantic WEb of Everything (SWEET 2022)First International Workshop on Web Applications for Life Sciences (WALS 2022)

This book constitutes the extended and revised versions of a set of selected papers from the 13th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2021, on October 25–27, 2021. The conference was held virtually due to the COVID-19 crisis.The 9 full papers included in this book were carefully reviewed and selected from 103 submissions. The purpose of the IC3K is to bring together researchers, engineers and practitioners on the areas of Knowledge Discovery, Knowledge Engineering and Knowledge Management. IC3K is composed of three co-located conferences, each specialized in at least one of the aforementioned main knowledge areas.

This book constitutes the refereed proceedings of the 17th Symposium and Summer School, SummerSOC 2023, held in Heraklion, Crete, Greece, in June 25–July 1, 2023.The 6 full papers and 3 short papers presented in this book were carefully reviewed and selected from 27 submissions.They are organized in the following sections as follows: Distributed Systems; Smart; and Mixed Technologies.

This book constitutes refereed proceedings of the Third International Workshop on Research and Education in Urban History in the Age of Digital Libraries, UHDL 2023, held in Munich, Germany, during March 27-28, 2023.The 15 full papers presented were carefully reviewed and selected from 32 submissions. The papers are organized in the following topical sections: theory, methods, and systematization; data handling and data schemes; machine Learning and artificial Intelligence; visualization and presentation and education.

This book constitutes selected papers presented at the 16th International Conference on Service Science, ICSS 2023, held in Harbin, China, in May 2023. The 36 full papers and 2 short papers presented were thoroughly reviewed and selected from the 71 submissions. They are organized in the following topical sections: serverless edge computing; edge services reliability; intelligent services; service application; knowledge-inspired service; service ecosystem; graph-based service optimization; AI-inspired service optimization.

This book constitutes the refereed proceedings of the 12th International Development Informatics Association Conference, IDIA 2022, held in Mbombela, South Africa, in November 2022. The 20 revised full papers presented in this volume were carefully reviewed and selected from 61 submissions. The papers are organized in topical sections on​ theories and practices in digital-for-development ecosystems; emerging technologies for transformation, inclusion and sustainable development; privacy and security in digital-for-development ecosystems; human-computer interaction (HCI) for digital inclusion; artificial intelligence (AI) for good.

This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2023, held in St. Petersburg, FL, USA, during May 19, 2023.The 8 full papers and one keynote paper included in this book were carefully reviewed and selected from 14 submissions. The volume contains two sections: keynote and technical papers.

This book constitutes the refereed proceedings of the 14th International Conference on Verified Software. Theories, Tools and Experiments, VSTTE 2022 held in Trento, Italy, during October 17–18, 2022.The 9 papers presented in this volume were carefully reviewed and selected from 20 submissions. The papers describe software verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies.

This book constitutes the refereed proceedings of the 11th Brazilian Workshop on Agile Methods, WBMA 2021, which took place online in October 2021.The 6 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 18 submissions. WBMA is the research track in the Agile Brazil conference. It is an academic event that focuses on agile software development.

These two volumes constitute the revised selected papers of First International Conference, ICAIoT 2023, held in Chandigarh, India, during March 30–31, 2023.The 47 full papers and the 10 short papers included in this volume were carefully reviewed and selected from 401 submissions. The two books focus on research issues, opportunities and challenges of AI and IoT applications. They present the most recent innovations, trends, and concerns as well as practical challenges encountered and solutions adopted in the fields of AI algorithms implementation in IoT Systems

This book includes the refereed Selected Papers of the 20th International Conference on Computer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries, CAAD Futures 2023, held in Delft, The Netherlands, in July 5–7, 2023. The 43 full papers included in this book were carefully reviewed and selected from 144 submissions. They were organized in topical sections as follows: ​algorithmic architectural design; AI-powered architectural ideation; performance-based design, urban models and analysis; urban design; digital design, materials and fabrication; spatial information, data and semantics; building data analysis, visualisation, interaction; and building massing and layouts.

This book constitutes refereed proceedings of the Third International Conference on Computer and Communication Engineering, CCCE 2023, held in Stockholm, Sweden, in March 2023.The 18 full papers presented were carefully reviewed and selected from 36 submissions. The papers are organized in the following topical sections: image analysis and method; network model and function analysis of mobile network; system security estimation and analysis of data network; and AI-based system model and algorithm.

This book constitutes revised selected papers from the refereed proceedings of the 4th International Workshop on Dynamic Logic, DaLí 2022, held in Haifa, Israel, in July/August 2022.The 8 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They deal with new trends and applications in the area of Dynamic Logic.

This book constitures selected and revised papers presented at the First International Workshop on Measuring Ontologies for Value Enhancement, MOVE 2020, held as Virtual Event in October 2020. The 7 extended and revised papers presented were thoroughly reviewed and selected from the 13 submissions. Along with them, the volume presents 5 invited papers. The volume articles are arranged in the topical sections on complexity of knowledge-intensive endeavors; ontology modeling; enterprise ontologies; knowledge discovery and innovations.

This book constitutes the post-conference proceedings of the 23rd International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2021, held in Moscow, Russia, in October 2021•.The 16 revised full papers were carefully reviewed and selected from 61 submissions. The papers are organized in the following topical sections: problem solving infrastructures, experiment organization, and machine learning applications; data analysis in astronomy; data analysis in material and earth sciences; information extraction from text• The conference was held virtually due to the COVID-19 pandemic.

This volume constitutes selected papers presented at the First International Conference on Informatics and Intelligent Applications, ICIIA 2021, held in Ota, Nigeria, in November 2021. The 22 full papers were thoroughly reviewed and selected from 108 submissions. The papers are organized in the following topical sections: AI applications; information security; emerging technologies in informatics.

This book constitutes thoroughly refereed and revised selected papers from the 10th Iberoamerican Conference on Applications and Usability of Interactive TV, jAUTI 2021, held in Sangolqui, Ecuador, during December 2–3, 2021.The 9 full papers included in this book were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows: ​Usability and UX; interaction techniques and accesibility; and technologies, services, and applications for interactive digital TV.

This book constitutes selected papers presented at the First International Scientific and Practical Conference on Information Technologies and Intelligent Decision Making Systems, ITIDMS 2021, held as Virtual Event in January, 2021.The 13 presented papers were thoroughly reviewed and selected from the 41 submissions. The conference was held with the aim of summarizing international experience in the field of information, digital and intellectual development, within which proposals were formulated for digital and information transformation, the development of computer models, information technologies, automated and computing processes. A distinctive feature of the conference is that it presented reports of authors from China, Uzbekistan, Lebanon, Poland, Kazakhstan, Bulgaria and Russia. Researchers from different countries presented the process of transition of the information and digital path of development, presented the main directions and developments that can improve the efficiency and development.

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 15th European Conference on Software Architecture, ECSA 2021, held in Växjö, Sweden•, in September 2021. The 15 full papers presented in this volume were carefully reviewed and selected from 17 submissions. Papers presented were accepted into the following tracks and workshops: Industry Track; DE&I - Diversity, Equity and Inclusion Track; SAEroCon - 8th Workshop on Software Architecture Erosion and Architectural Consistency; MSR4SA - 1st International Workshop on Mining Software Repositories for Software Architecture; SAML – 1st International Workshop on Software Architecture and Machine Learning; CASA - 4th Context-aware, Autonomous and Smart Architectures International Workshop; FAACS - 5th International Workshop on Formal Approaches for Advanced Computing Systems; MDE4SA - 2nd International Workshop on Model-Driven Engineering for Software Architecture; Tools and Demonstrations Track; Tutorial Track.•The conference was held virtually due to the COVID-19 pandemic.

This volume constitutes selected papers from the Second International Conference on Information Systems and Design, ICID 2021, held as virtual event in September 2021. The 24 full papers and 4 short papers presented were thoroughly reviewed and selected from 51 submissions. They are organized in topical sections on ​digital transformation of enterprises based on analysis and management tools: practical-focused research; methodological support of analysis and management tools: theoretical-focused research; young scientists research in the areas of enterprise digitalization.

This volume constitutes selected and revised papers presented during the Second International Conference on Trandisciplinary Multispectral Modelling and Cooperation for the Preservation of Cultural Heritage, TMM_CH 2021, held in Athens, Greece, in December 2021. The 17 full papers and 6 short papers presented in ths volume were thoroughly reviewed and selected from 310 submissions. The papers are organized in topical sections on ​scientific innovations in the diagnosis and preservation of cultural heritage; digital heritage a holistic approach; preservation, reuse and reveal of cultural heritage through sustainable land management, rural and urban development to recapture the world in crisis through culture.

This book constitutes revised selected papers from the refereed proceedings of the 15th Colombian Congress on Advances in Computing, CCC 2021, held in Bogotá, Colombia, during November 22–26, 2021.The 8 full papers and 2 short papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Artificial intelligence; educational informatics; and information systems.

This volume constitutes selected papers presented at the First International Conference on Frontiers in Software Engineering, ICFSE 2021, hekd in Innopolis, Russia, in June 2021. The 13 presented full papers were thoroughly reviewed and selected from 37 submissions. The papers present discussion on such topics as software engineering tools and environments; empirical software engineering; model-driven and domain-specific engineering, human factors and social aspects of software engineering, cooperative, distributed, and global software engineering, component-based software engineering, software metrics, and software engineering for green and sustainable technologies.

This book constitutes selected papers presented during the First International Conference on Bangabandhu and Digital Bangladesh, ICBBDB 2021, held in Dhaka, Bangladesh, in December 2021. Due to the COVID-19 pandemic the conference was partly held online. The 16 papers presented were thoroughly reviewed and selected from the 90 submissions. They present research in the areas of artificial intelligence, machine learning, image processing, blockchain technology, human-computer interaction, etc.

This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6–10, 2021.The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks.SEFM 2021 presents the following four workshops:CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development.Due to the Corona pandemic this event washeld virtually.