José Campos - Böcker

The state of the art in the area of security related civil science and technology concerning energetic materials and munitions is of pressing importance at the present time, because 10 years after the end of the cold war, in many countries in east and west, huge stockpiles of munitions still await destruction.The safety behavior of munitions and their energetic material is the determining factor for all precautionary measures for the protection of environment and population. The probability of a catastrophic reaction of munitions and their energetic components will be so more likely, the closer the munitions are to the end of their life time. Residues and undetected ordnance, recycling, destruction of ammunition and depletion or reuse of energetic materials will either cause more or less damage to environment.Scientific research and development have the aim to increase performance of munitions on one side and to improve safety in relation to unpredictable events on the other side. The impact on the environment by the production and normal use of munitions and their residues after use will acquire an increasing importance in environmental awareness. The excellent technical presentations were classified in five Groups, according to the technical programme. The "Introduction to the subject; Methods, tests and application; Insensitive and "green" munitions; Storage and transportation; and Demilitarisation and recycling" sessions, were closed by a final and general interesting discussion among participants.

The state of the art in the area of security related civil science and technology concerning energetic materials and munitions is of pressing importance at the present time, because 10 years after the end of the cold war, in many countries in east and west, huge stockpiles of munitions still await destruction.The safety behavior of munitions and their energetic material is the determining factor for all precautionary measures for the protection of environment and population. The probability of a catastrophic reaction of munitions and their energetic components will be so more likely, the closer the munitions are to the end of their life time. Residues and undetected ordnance, recycling, destruction of ammunition and depletion or reuse of energetic materials will either cause more or less damage to environment.Scientific research and development have the aim to increase performance of munitions on one side and to improve safety in relation to unpredictable events on the other side. The impact on the environment by the production and normal use of munitions and their residues after use will acquire an increasing importance in environmental awareness. The excellent technical presentations were classified in five Groups, according to the technical programme. The "Introduction to the subject; Methods, tests and application; Insensitive and "green" munitions; Storage and transportation; and Demilitarisation and recycling" sessions, were closed by a final and general interesting discussion among participants.

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;

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;

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.Chapter “Extreme Citizen Science Contributions to the Sustainable Development Goals: Challenges and Opportunities for a Human-Centred Design Approach” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.