This book constitutes the refereed proceedings of the 14th CCF Conference on Computer Supported Cooperative Work and Social Computing, ChineseCSCW 2019, held in Kunming, China, in August 2019. The 52 revised full papers and 10 short papers were carefully reviewed and selected from 169 submissions. The papers of this volume are organized in topical sections on: collaborative models, approaches, algorithms, and systems; social computing (online communities, crowdsourcing, recommendation, sentiment analysis, etc.); AI for CSCW and social computing.

This book constitutes the refereed proceedings of the 5th International Conference on Dependability in Sensor, Cloud, and Big Data Systems and Applications, DependSys, held in Guangzhou, China, in November 2019. The volume presents 39 full papers, which were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on dependability and security fundamentals and technologies; dependable and secure systems; dependable and secure applications; dependability and security measures and assessments; explainable artificial inteligence for cyberspace.

This book constitutes the proceedings of the 5th International Conference on Technologies and Innovation, CITI 2019, held in Guayaquil, Ecuador, in December 2019. The 14 full papers presented in this volume were carefully reviewed and selected from 32 submissions. They are organized in topical sections named: ICT in agronomy; knowledge-based systems and pattern recognition; internet of things and computer architecture.

This book constitutes the refereed proceedings of the 15th European Conference on Ambient Intelligence, AmI 2019, held in Rome, Italy, in November 2019. The 20 full papers presented together with 10 short papers were carefully reviewed and selected from 50 submissions. The papers cover topics such as embedded devices that can merge unobtrusively and in natural ways using information and intelligence hidden in the network connecting these devices (e.g., the Internet of Things). The main topic of AmI 2019 was "Data-driven Ambient Intelligence," which follows the vision of Calm Technology, where technology is useful but does not demand our full attention or interfere with our usual behavior and activities.

The two-volume set LNCS 12376 and 12377 constitutes the refereed proceedings of the 17th International Conference on Computers Helping People with Special Needs, ICCHP 2020, held in Lecco, Italy, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 104 papers presented were carefully reviewed and selected from 206 submissions. Included also are 13 introductions. The papers are organized in the following topical sections: Part I: user centred design and user participation in inclusive R artificial intelligence, accessible and assistive technologies; XR accessibility - learning from the past, addressing real user needs and the technical architecture for inclusive immersive environments; serious and fun games; large-scale web accessibility observatories; accessible and inclusive digital publishing; AT and accessibility for blind and low vision users; Art Karshmer lectures in access to mathematics, science and engineering; tactile graphics and models for blind people and recognition of shapes by touch; and environmental sensing technologies for visual impairment Part II: accessibility of non-verbal communication: making spatial information accessible to people with disabilities; cognitive disabilities and accessibility - pushing the boundaries of inclusion using digital technologies and accessible eLearning environments; ICT to support inclusive education - universal learning design (ULD); hearing systems and accessories for people with hearing loss; mobile health and mobile rehabilitation for people with disabilities: current state, challenges and opportunities; innovation and implementation in the area of independent mobility through digital technologies; how to improve interaction with a text input system; human movement analysis for the design and evaluation of interactive systems and assistive devices; and service and care provision in assistive environments 10 chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

The two-volume set LNCS 12376 and 12377 constitutes the refereed proceedings of the 17th International Conference on Computers Helping People with Special Needs, ICCHP 2020, held in Lecco, Italy, in September 2020. The conference was held virtually due to the COVID-19 pandemic.The 104 papers presented were carefully reviewed and selected from 206 submissions. Included also are 13 introductions. The papers are organized in the following topical sections:Part I: user centred design and user participation in inclusive R artificial intelligence, accessible and assistive technologies; XR accessibility - learning from the past, addressing real user needs and the technical architecture for inclusive immersive environments; serious and fun games; large-scale web accessibility observatories; accessible and inclusive digital publishing; AT and accessibility for blind and low vision users; Art Karshmer lectures in access to mathematics, science and engineering; tactile graphics and models for blind people and recognition of shapes by touch; and environmental sensing technologies for visual impairmentPart II: accessibility of non-verbal communication: making spatial information accessible to people with disabilities; cognitive disabilities and accessibility - pushing the boundaries of inclusion using digital technologies and accessible eLearning environments; ICT to support inclusive education - universal learning design (ULD); hearing systems and accessories for people with hearing loss; mobile health and mobile rehabilitation for people with disabilities: current state, challenges and opportunities; innovation and implementation in the area of independent mobility through digital technologies; how to improve interaction with a text input system; human movement analysis for the design and evaluation of interactive systems and assistive devices; and service and care provision in assistive environments11 chapters are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This volume constitutes the proceedings of the 18th Mexican Conference on Artificial Intelligence, MICAI 2019, held in Xalapa, Mexico, in October/November 2019. The 59 full papers presented in this volume were carefully reviewed and selected from 148 submissions. They cover topics such as: machine learning; optimization and planning; fuzzy systems, reasoning and intelligent applications; and vision and robotics.

This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held inThessaloniki, Greece, in October 2019. The 24 revised full papers presented were carefully reviewed and selected from 46 initial submissions. The papers are organized in topical sections on safety models and languages; dependability analysis process; safety assessment; safety assessment in automotive industry; AI in safety assessment.

This book constitutes the refereed proceedings of the 13th China Conference on Wireless Sensor Networks, CWSN 2019, held in Chongqing, China, in October 2019. The 27 full papers were carefully reviewed and selected from 158 submissions. The papers are organized in topical sections on fundamentals on Internet of Things; applications on Internet of Things; and IntelliSense, location and tracking.

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2019; 8th International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2019; 9th International Workshop on Open Community Approaches to Education, Research and Technology, OpenCERT 2019; 17th Overture Workshop, Overture 2019; 19th Refinement Workshop, Refine 2019; First International Workshop on Reversibility in Programming, Languages, and Automata, RPLA 2019; 10th International Workshop on Static Analysis and Systems Biology, SASB 2019; and the 10th Workshop on Tools for Automatic Program Analysis, TAPAS 2019.

This book constitutes the refereed proceedings of the 4th Dementia Lab Conference, D-Lab 2019, held in Eindhoven, The Netherlands, in October 2019. The 12 full and 7 short papers presented in this volume were carefully reviewed and selected from 53 submissions. The papers are organized in topical sections: inclusion & participation, technology & experience, and Dementia Lab ideas.

This open access book constitutes the refereed proceedings of the 17th International Conference on String Processing and Information Retrieval, ICOST 2019, held in New York City, NY, USA, in October 2019. The 15 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 24 submissions. They cover topics such as: e-health technology design; well-being technology; biomedical and health informatics; and smart environment technology.

This book constitutes the refereed proceedings of the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2019, held in Pisa, Italy, in October 2019.The 21 full papers presented were carefully reviewed and selected from 45 submissions. The papers deal with the design and development of distributed systems with a focus on systems that are able to provide guarantees on their structure, performance, and/or security in the face of an adverse operational environment.

This book constitutes the refereed proceedings of the 18th International Conference on Ad-Hoc, Mobile, and Wireless Networks, ADHOC-NOW 2019, held in Luxembourg, in October 2019. The 37 full and 10 short papers presented were carefully reviewed and selected from 64 submissions. The papers provide an in-depth and stimulating view on the new frontiers in the field of mobile, ad hoc and wireless computing. They are organized in the following topical sections: IoT for emergency and disaster management; scheduling and synchronization in WSN; routing strategies for WSN; LPWANs and their integration with satellite; performance improvement of wireless and sensor networks; optimization schemes for increasing sensors lifetime; vehicular and UAV networks; body area networks, IoT security and standardization.

This 2-volume set constitutes the refereed proceedings of the 9th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2019, held in Madrid, Spain, in July 2019. The 99 papers in these volumes were carefully reviewed and selected from 137 submissions. They are organized in topical sections named: Part I: best ranked papers; machine learning; pattern recognition; image processing and representation. Part II: biometrics; handwriting and document analysis; other applications.

This 2-volume set constitutes the refereed proceedings of the 9th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2019, held in Madrid, Spain, in July 2019. The 99 papers in these volumes were carefully reviewed and selected from 137 submissions. They are organized in topical sections named: Part I: best ranked papers; machine learning; pattern recognition; image processing and representation. Part II: biometrics; handwriting and document analysis; other applications.

This book constitutes the extended abstracts of the posters presented during the 21st International Conference on Human-Computer Interaction, HCII 2019, which took place in Orlando, Florida, in July 2019. The total of 1274 papers and 209 posters included in the 35 HCII 2019 proceedings volumes was carefully reviewed and selected from 5029 submissions. The 55 papers presented in this volume are organized in topical sections as follows: interaction design; cognitive issues in HCI; accessibility and universal access; learning and games; HCI in health and rehabilitation; HCI in business and society; big data, machine learning and visual analytics; and user studies.

This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Conference on Financial Cryptography and Data Security, FC 2020, held in Kota Kinabalu, Malaysia, in February 2020. The 34 revised full papers and 2 short papers were carefully selected and reviewed from 162 submissions. The papers are grouped in the following topical sections: attacks; consensus; cryptoeconomics; layer 2; secure computation; privacy; crypto foundations; empirical studies; and smart contracts.

This volume constitutes the refereed proceedings of the 6th Workshop on Engineering Applications, WEA 2019, held in Santa Marta, Colombia, in October 2019. The 62 revised full papers and 2 short papers presented in this volume were carefully reviewed and selected from 178 submissions. The papers are organized in the following topical sections: computer science; computational intelligence; bioengineering; Internet of things; power applications; simulation systems; optimization.

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Workshop on Engineering Multi-Agent Systems, EMAS 2019, held in Montreal, QC, Canada, in May 2019. The 13 revised full papers presented in this book were carefully selected and reviewed from 20 submissions. The papers are grouped in the following topical sections: Multi-Agent Interaction and Organization; Simulation; Social Awareness and Explainability; Learning and Reconfiguration; and Implementation Techniques and Tools.

This open access book constitutes the refereed proceedings of the 15th International Conference on Semantic Systems, SEMANTiCS 2019, held in Karlsruhe, Germany, in September 2019. The 20 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They cover topics such as: web semantics and linked (open) data; machine learning and deep learning techniques; semantic information management and knowledge integration; terminology, thesaurus and ontology management; data mining and knowledge discovery; semantics in blockchain and distributed ledger technologies.

This book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, held in Prague, Czech Republic, in July 2019. The 10 revised full papers were carefully reviewed and selected from 116 submissions. The topics covered in the papers include: business process modelling, IT service management, interoperability and service-oriented architecture, project management software, scheduling and estimating, software metrics, requirements elicitation and specification, software and systems integration, etc.

This conference proceeding LNCS 12203 constitutes the refereed proceedings of the 12th International Conference on Cross-Cultural Design, CCD 2020, held as part of HCI International 2020 in Copenhagen, Denmark in July 2020. The conference was held virtually due to the corona pandemic. The total of 1439 papers and 238 posters included in the 40 HCII 2020 proceedings volumes was carefully reviewed and selected from 6326 submissions. The regular papers of DAPI 2020, Distributed, Ambient and Pervasive Interactions, presented in this volume were organized in topical sections named: Design Approaches, Methods and Tools, Smart Cities and Landscapes, Well-being, Learning and Culture in Intelligent Environments and much more.

The two-volume set LNCS 11751 and 11752 constitutes the refereed proceedings of the 20th International Conference on Image Analysis and Processing, ICIAP 2019, held in Trento, Italy, in September 2019. The 117 papers presented were carefully reviewed and selected from 207 submissions. The papers cover both classic and the most recent trends in image processing, computer vision, and pattern recognition, addressing both theoretical and applicative aspects. They are organized in the following topical sections: Video Analysis and Understanding; Pattern Recognition and Machine Learning; Deep Learning; Multiview Geometry and 3D Computer Vision; Image Analysis, Detection and Recognition; Multimedia; Biomedical and Assistive Technology; Digital Forensics; Image processing for Cultural Heritage.

The two-volume set LNCS 11751 and 11752 constitutes the refereed proceedings of the 20th International Conference on Image Analysis and Processing, ICIAP 2019, held in Trento, Italy, in September 2019. The 117 papers presented were carefully reviewed and selected from 207 submissions. The papers cover both classic and the most recent trends in image processing, computer vision, and pattern recognition, addressing both theoretical and applicative aspects. They are organized in the following topical sections: Video Analysis and Understanding; Pattern Recognition and Machine Learning; Deep Learning; Multiview Geometry and 3D Computer Vision; Image Analysis, Detection and Recognition; Multimedia; Biomedical and Assistive Technology; Digital Forensics; Image processing for Cultural Heritage.