Books in the Lecture Notes in Computer Science series

This volume constitutes the proceedings of the 9th International Work-Conference on IWBBIO 2020, held in Maspalomas, Gran Canaria, Spain, in June 2022.

This three-volume set LNCS 13338-13340 constitutes the thoroughly refereed proceedings of the 8th International Conference on Artificial Intelligence and Security, ICAIS 2022, which was held in Qinghai, China, in July 2022. The total of 166 papers included in the 3 volumes were carefully reviewed and selected from 1124 submissions.

This three-volume set LNCS 13338-13340 constitutes the thoroughly refereed proceedings of the 8th International Conference on Artificial Intelligence and Security, ICAIS 2022, which was held in Qinghai, China, in July 2022. The total of 166 papers included in the 3 volumes were carefully reviewed and selected from 1124 submissions.

This three-volume set LNCS 13338-13340 constitutes the thoroughly refereed proceedings of the 8th International Conference on Artificial Intelligence and Security, ICAIS 2022, which was held in Qinghai, China, in July 2022. The total of 166 papers included in the 3 volumes were carefully reviewed and selected from 1124 submissions.

This book constitutes revised selected papers from the workshops held at the 27th International Conference on Parallel and Distributed Computing, Euro-Par 2021, which took place in Portugal, in August 2021.

Chapters ¿No. 10 and No. 21¿ are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

This book constitutes the thoroughly refereed post-conference proceedings of the 34th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2020, held in Delaware, NE, USA, in October 2021.Due to COVID-19 pandemic the conference was held virtually. The 9 revised full papers were carefully reviewed and selected from 11 submissions. The conference covers all aspects of languages, compiler techniques, run-time environments, and compiler-related performance evaluation for parallel and high-performance computing. The scope of the workshop encompasses foundational results, as well as practical experience reports and bold new ideas for future systems.

This book contains a series of revised papers selected from 7 workshops organized by 18th IFIP TC 13 International Conference on Human-Computer Interaction, INTERACT 2021, which was held in September 2021 in Bari, Italy.  The 15 papers included in this volume were carefully reviewed and selected from 30 submissions. They show the design of interactive technologies addressing one or more United Nations' Sustainable Development Goals, to deal with evolving contexts of use in today's and future application domains and its influence on human-centered socio-technical system design and devel-opment practice, share educational resources and approaches to support the process of teaching and learning HCI Engineering (HCI-E), share educational resources and approaches to support the process of teaching and learning HCI Engineering (HCI-E), and address and discuss geopolitical issues in Human-Computer Interaction as a field of knowledge and practice.

This book constitutes the proceedings of the 15th International Conference on Computational Processing of the Portuguese Language, PROPOR 2021, held in Fortaleza, Brazil, in March 2021.The 36 full papers presented together with 4 short papers were carefully reviewed and selected from 88 submissions. They are grouped in topical sections on speech processing; resources and evaluation; natural language processing applications; semantics; natural language processing tasks; and multilinguality.

This book constitutes the refereed proceedings of the 7th International Symposium on NASA Formal Methods, NFM 2015, held in Pasadena, CA, USA, in April 2015.The 24 revised regular papers presented together with 9 short papers were carefully reviewed and selected from 108 submissions. The topics include model checking, theorem proving; SAT and SMT solving; symbolic execution; static analysis; runtime verification; systematic testing; program refinement; compositional verification; security and intrusion detection; modeling and specification formalisms; model-based development; model-based testing; requirement engineering; formal approaches to fault tolerance; and applications of formal methods.

This book constitutes the proceedings of the 11th International Conference International Conference on Verification and Evaluation of Computer and Communication Systems ( VECoS 2017 ), held at Concordia University, Montreal, Canada, in August 2017. The 13 full papers, together with 3 abstracts in this volume were carefully reviewed and selected from 35 submissions.The aim of the VECoS conference is to bring together researchers and practitioners in the areas of verification, control, performance and dependability evalu-ation in order to discuss state-of-the-art and challenges in modern computer and communication systems in which functional and extra-functional properties are strongly interrelated. Thus, the main motivation for VECoS is to encourage the cross-fertilization between various formal verification and evaluation approaches, methods and techniques, and especially those developed for concurrent and dis-tributed hardware/software systems.

This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability, Safety, and Security of RailwaySystems, RSSRail 2016, held in Paris, France, in June 2016.The 15 revised full papers presented were carefully reviewed andselected from 36 initial submissions. The papers cover a wide range oftopics including failure analysis, interlocking verification, formalsystem specification and refinement, security analysis of ERTMS, safetyverification, formalisation of requirements, proof automation,operational security, railway system reliability, risk assessment forERTMS, and verification of EN-50128 safety requirements.

This book constitutes revised papers from the 12th International Conference on Large-Scale Scientific Computing, LSSC 2019, held in Sozopol, Bulgaria, in June 2019. The 70 papers presented in this volume were carefully reviewed and selected from 81 submissions. The book also contains two invited talks. The papers were organized in topical sections named as follows: control and optimization of dynamical systems; meshfree and particle methods; fractional diffusion problems: numerical methods, algorithms and applications; pore scale flow and transport simulation; tensors based algorithms and structures in optimization and applications; HPC and big data: algorithms and applications; large-scale models: numerical methods, parallel computations and applications; monte carlo algorithms: innovative applications in conjunctions with other methods; application of metaheuristics to large-scale problems; large scale machine learning: multiscale algorithms and performance guarantees; and contributed papers. 

This book constitutes the refereed proceedings of the First International Conference on HCI in Games, HCI-Games 2019, held in July 2019 as part of HCI International 2019 in Orlando, FL, USA. HCII 2019 received a total of 5029 submissions, of which 1275 papers and 209 posters were accepted for publication after a careful reviewing process. The 34 papers presented in this volume are organized in topical sections named: Game Design; Gaming Experience; Serious Games; and Gamification.

This open access book constitutes the proceedings of the 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, held in Hamburg, Germany, in May 2022.The 36 regular papers included in this book were carefully reviewed and selected from 129 submissions. They were organized in topical sections as follows: haptic science; haptic technology; and haptic applications.

This book constitutes the proceedings of the 24th RoboCup International Symposium which was held online during June 22 - June 28, 2021.The 19 full papers included in these proceedings were carefully reviewed and selected from 42 submissions;

This book constitutes the proceedings of the 4th International Workshop on Emerging Technologies for Authorization and Authentication, ETAA 2021, held in Darmstadt, Germany, on October 8, 2021. The workshop was co-located with ESORICS 2021. The 11 full papers presented in this volume were carefully reviewed and selected from 14 submissions. The workshop presents new techniques for biometric and behavioral based authentication, authentication and authorization in the IoT and in distributed systems in general, including smart home environment.

This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.