This book constitutes the refereed proceedings of the 19th EPIA Conference on Artificial Intelligence, EPIA 2019, held in Funchal, Madeira, Portugal, in September 2019. The 119 revised full papers and 6 short papers presented were carefully reviewed and selected from a total of 252 submissions. The papers are organized in 18 tracks devoted to the following topics: AIEd - Artificial Intelligence in Education, AI4G - Artificial Intelligence for Games, AIoTA - Artificial Intelligence and IoT in Agriculture, AIL - Artificial Intelligence and Law, AIM - Artificial Intelligence in Medicine, AICPDES - Artificial Intelligence in Cyber-Physical and Distributed Embedded Systems, AIPES - Artificial Intelligence in Power and Energy Systems, AITS - Artificial Intelligence in Transportation Systems, ALEA - Artificial Life and Evolutionary Algorithms, AmIA - Ambient Intelligence and Affective Environments, BAAI - Business Applications of Artificial Intelligence, GAI- General AI, IROBOT - Intelligent Robotics, KDBI - Knowledge Discovery and Business Intelligence, KRR - Knowledge Representation and Reasoning, MASTA - Multi-Agent Systems: Theory and Applications, SSM - Social Simulation and Modelling, TeMA - Text Mining and Applications.

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 four-volume set LNCS 11746-11749 constitutes the proceedings of the 17th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2019, held in Paphos, Cyprus, in September 2019.The total of 111 full papers presented together with 55 short papers and 48 other papers in these books was carefully reviewed and selected from 385 submissions. The contributions are organized in topical sections named: Part I: accessibility design principles; assistive technology for cognition and neurodevelopment disorders; assistive technology for mobility and rehabilitation; assistive technology for visually impaired; co-design and design methods; crowdsourcing and collaborative work; cyber security and e-voting systems; design methods; design principles for safety/critical systems. Part II: e-commerce; education and HCI curriculum I; education and HCI curriculum II; eye-gaze interaction; games and gamification; human-robot interaction and 3D interaction; information visualization; information visualization and augmented reality; interaction design for culture and development I. Part III: interaction design for culture and development II; interaction design for culture and development III; interaction in public spaces; interaction techniques for writing and drawing; methods for user studies; mobile HCI; personalization and recommender systems; pointing, touch, gesture and speech-based interaction techniques; social networks and social media interaction. Part IV: user modelling and user studies; user experience; users' emotions, feelings and perception; virtual and augmented reality I; virtual and augmented reality II; wearable and tangible interaction; courses; demonstrations and installations; industry case studies; interactive posters; panels; workshops. The chapter 'Experiencing Materialized Reading: Individuals' Encounters with Books' is open access under a CC BY 4.0 license at link.springer.com. The chapter 'What Is Beautiful Continues to Be Good: People Images and Algorithmic Inferences on Physical Attractiveness' is open access under a CC BY 4.0 license at link.springer.com.

The four-volume set LNCS 11746-11749 constitutes the proceedings of the 17th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2019, held in Paphos, Cyprus, in September 2019.The total of 111 full papers presented together with 55 short papers and 48 other papers in these books was carefully reviewed and selected from 385 submissions. The contributions are organized in topical sections named: Part I: accessibility design principles; assistive technology for cognition and neurodevelopment disorders; assistive technology for mobility and rehabilitation; assistive technology for visually impaired; co-design and design methods; crowdsourcing and collaborative work; cyber security and e-voting systems; design methods; design principles for safety/critical systems. Part II: e-commerce; education and HCI curriculum I; education and HCI curriculum II; eye-gaze interaction; games and gamification; human-robot interaction and 3D interaction; information visualization; information visualization and augmented reality; interaction design for culture and development I. Part III: interaction design for culture and development II; interaction design for culture and development III; interaction in public spaces; interaction techniques for writing and drawing; methods for user studies; mobile HCI; personalization and recommender systems; pointing, touch, gesture and speech-based interaction techniques; social networks and social media interaction. Part IV: user modelling and user studies; user experience; users' emotions, feelings and perception; virtual and augmented reality I; virtual and augmented reality II; wearable and tangible interaction; courses; demonstrations and installations; industry case studies; interactive posters; panels; workshops.

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 refereed proceedings of the 16th International Conference on Virtual Reality and Augmented Reality, EuroVR 2019, held in Tallinn, Estonia, in October 2019. The 11 full papers and 5 short papers presented together with 8 scientific posters were carefully reviewed and selected from 54 submissions. The papers are organized in topical sections named: Immersive Interaction; Training, Teaching and Learning; Industrial Applications and Data Analysis; Perception, Cognition and Evaluation; and Scientific Posters.

This two-volume set LNCS 12192 and 12193 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 Cross-Cultural Design CCD 2020 presented in this volume were organized in topical sections named: Health, Well-being and Social Design Across Cultures, Culture, Learning and Communication, and Culture and Creativity.

This book constitutes the proceedings of the 13th International Symposium on Advanced Parallel Processing Technologies, APPT 2019, held in Tianjin, China, in August 2019. The 11 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers are organized in topical sections named: System Support for Neural Networks; Scheduling and File Systems; Optimization and Parallelization; Security and Algorithms.

This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019. The 15 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers are organized in the following topical sections: special session on data-driven and stochastic approaches to real-time, including monitoring and Big Data; timed systems; linear and non-linear systems; timed automata; special session on timed systems and probabilities.

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 refereed proceedings of the 18th International Conference on Cryptology and Network Security, CANS 2019, held in Fuzhou, China, in October 2019. The 21 full papers and 8 short papers were carefully reviewed and selected from 55 submissions. The papers focus on topics such as homomorphic encryption; SIKE and Hash; lattice and post-quantum cryptography; searchable encryption; blockchains, cloud security; secret sharing and interval test, LWE; encryption, data aggregation, and revocation; and signature, ML, payment, and factorization.

This book includes the post-conference proceedings of the 22nd RoboCup International Symposium, held in Montreal, QC, Canada, in June 2018. The 32 full revised papers and 11 papers from the winning teams presented were carefully reviewed and selected from 51 submissions. This book highlights the approaches of champion teams from the competitions and documents the proceedings of the 22nd annual RoboCup International Symposium. Due to the complex research challenges set by the RoboCup initiative, the RoboCup International Symposium offers a unique perspective for exploring scientific and engineering principles underlying advanced robotic and AI systems.

This book constitutes the refereed proceedings of the 13th International Conference on Parallel Computational Technologies, PCT 2019, held in Kaliningrad, Russia, in April 2019.The 24 revised full papers presented were carefully reviewed and selected from 96 submissions. The papers are organized in topical sections on high performance architectures, tools and technologies; parallel numerical algorithms; supercomputer simulation.

This book constitutes the proceedings of the 17th IFIP WG 6.2 International Conference on Wired/Wireless Internet Communications, WWIC 2019, held in Bologna, Italy, in June 2019. The 20 full papers presented were carefully reviewed and selected from 35 submissions. The papers address various aspects of next generation data networks, such as design and evaluation of protocols, dynamics of integration, performance tradeoffs, the need for new performance metrics, and cross-layer interactions. They are organized in the following topical sections: the Internet of Things and WLANs; security and network management; 5G and beyond 5G networks; forwarding and congestion control; and distributed applications.

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.

The 2-volume set LNCS 11613 and 11614 constitutes the refereed proceedings of the 6th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2019, held in Santa Maria al Bagno, Italy, in June 2019. The 32 full papers and 35 short papers presented were carefully reviewed and selected from numerous submissions. The papers discuss key issues, approaches, ideas, open problems, innovative applications and trends in virtual and augmented reality, 3D visualization and computer graphics in the areas of medicine, cultural heritage, arts, education, entertainment, military and industrial applications. They are organized in the following topical sections: virtual reality; medicine; augmented reality; cultural heritage; education; and industry.

The 2-volume set LNCS 11613 and 11614 constitutes the refereed proceedings of the 6th International Conference on Augmented Reality, Virtual Reality, and Computer Graphics, AVR 2019, held in Santa Maria al Bagno, Italy, in June 2019. The 32 full papers and 35 short papers presented were carefully reviewed and selected from numerous submissions. The papers discuss key issues, approaches, ideas, open problems, innovative applications and trends in virtual and augmented reality, 3D visualization and computer graphics in the areas of medicine, cultural heritage, arts, education, entertainment, military and industrial applications. They are organized in the following topical sections: virtual reality; medicine; augmented reality; cultural heritage; education; and industry.

This book constitutes the proceedings of the First International Workshop on Explainable, Transparent Autonomous Agents and Multi-Agent Systems, EXTRAAMAS 2019, held in Montreal, Canada, in May 2019. The 12 revised and extended papers presented were carefully selected from 23 submissions. They are organized in topical sections on explanation and transparency; explainable robots; opening the black box; explainable agent simulations; planning and argumentation; explainable AI and cognitive science.

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Algebra in Scientific Computing, CASC 2019, held in Moscow, Russia, in August 2019. The 28 full papers presented together with 2 invited talks were carefully reviewed and selected from 44 submissions. They deal with cutting-edge research in all major disciplines of computer algebra. The papers cover topics such as polynomial algebra, symbolic and symbolic-numerical computation, applications of symbolic computation for investigating and solving ordinary differential equations, applications of CASs in the investigation and solution of celestial mechanics problems, and in mechanics, physics, and robotics.

This book constitutes the refereed proceedings of five workshops and an industrial session held at the 20th International Conference on Image Analysis and Processing, ICIAP 2019, in Trento, Italy, in September 2019: Second International Workshop on Recent Advances in Digital Security: Biometrics and Forensics (BioFor 2019); First International Workshop on Pattern Recognition for Cultural Heritage (PatReCH 2019); First International Workshop eHealth in the Big Data and Deep Learning Era (e-BADLE 2019); International Workshop on Deep Understanding Shopper Behaviors and Interactions in Intelligent Retail Environments (DEEPRETAIL 2019); Industrial Session.

This book constitutes the proceedings of the 17th International Conference on Engineering Psychology and Cognitive Ergonomics, EPCE 2020, held as part of the 22nd International Conference, HCI International 2020, which took place in Copenhagen, Denmark, in July 2020. The total of 1439 papers and 238 posters included in the 37 HCII 2020 proceedings volumes was carefully reviewed and selected from 6326 submissions. EPCE 2020 includes a total of 60 regular papers; they were organized in topical sections named: mental workload and performance; human physiology, human energy and cognition; cognition and design of complex and safety critical systems; human factors in human autonomy teaming and intelligent systems; cognitive psychology in aviation and automotive. As a result of the Danish Government's announcement, dated April 21, 2020, to ban all large events (above 500 participants) until September 1, 2020, the HCII 2020 conference was held virtually.

This book constitutes the proceedings of the 14th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains/Nets4Aircraft 2019, held in Colmar, France, in May 2019. The 9 full papers and 1 short paper in this volume were carefully reviewed and selected from 15 submissions. The volume features contributions in the theory or practice of intelligent transportation systems (ITS) and communication technologies for: - Vehicles on the road: e.g. cars, trucks and buses; - Air: e.g. aircraft and unmanned aerial vehicles; and - Rail: e.g. trains, metros and trams.

This book constitutes the proceedings of the Third International Conference on Physiological Computing Systems, PhyCS 2016, held in Lisbon, Portugal, in July 2016. The 12 papers presented in this volume were carefully reviewed and selected from numerous submissions. They contribute to the understanding of relevant trends of current research on physiological computing systems, including brain-computer interfaces, virtual reality, psychophysiological load assessment in unconstrained scenarios, body tracking and movement pattern recognition, emotion recognition, machine learning applied to diabetes and hypertension, tangible biofeedback technologies, multimodal sensor data fusion, and deep learning for hand gesture recognition.

This book constitutes the refereed proceedings of the 51st International Conference on Software Technology: Methods and Tools, TOOLS 2019, held in Innopolis, Russia, in October 2019.The 19 revised full papers and 13 short papers presented in this book were carefully reviewed and selected from 62 submissions. The papers discuss all aspects of software engineering and programming languages; machine learning; internet of things; security computer architectures and robotics; and projects.

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The papers cover vastly dierent topics, but each fall in the intersection of the three primary topics of ESSLLI: Logic, Language and Computation. The 14 papers presented in this volume have been selected among 24 papers presented by talks or posters at the Student Sessions of the 30th edition of ESSLLI, held in 2018 in Sofia, Bulgaria.The Student Session is a forum for PhD and Master students to present their research at the interfaces of logic, language and computation. It features three tracks: Logic and Computation (LoCo), Logic and Language (LoLa), and Language and Computation (LaCo).