Bøker utgitt av Springer International Publishing

Alain Locke is most known for his involvement in the Harlem Renaissance. However, he received his PhD in philosophy from Harvard University in 1918, and produced a very large corpus of philosophical work. His work shows him to have been a sophisticated philosopher who thought through practical and theoretical problems regarding the nature of cosmopolitanism, democracy, race, value, religion, art, and education. Although Locke's philosophical work has been discussed in parts, there has been no theorizing about how his different philosophical commitments fit together. In this book Corey L. Barnes begins to systematize Locke's philosophical thought, showing how his democratic theory, philosophy of race, and value theory are connected to and undergirded by a commitment to cosmopolitanism. In so doing, Barnes unearths aspects of Locke's thought-for example, his economic thinking-that have not been accorded attention and reimagines parts of his work about which have been theorized, all while bringing Locke into current debates about each subject.

This volume provides a comparative philosophical investigation into a particular concept from a variety of angles-in this case, the concept of "e;miracle."e; The text covers deeply philosophical questions around the miracle, with a multiplicity of answers. Each chapter brings its own focus to this multifaceted effort. The volume rejects the primarily western focus that typically dominates philosophy of religion and is filled with particular examples of miracle narratives, community responses, and polemical scenarios across widely varying religious contexts and historical periods. Some of these examples defy religious categorization, and some papers challenge the applicability of the concept "e;miracle,"e; which is of western and monotheistic origin. By examining miracles thru a wide comparative context, this text presents a range of descriptive content and analysis, with attention to the audience, to the subjective experiences being communicated, and to the flavor of the narratives that come to surround miracles. This book appeals to students and researchers working in philosophy of religion and science, as well those in comparative religion. It represents, in written form, some of the perspectives and dialogue achieved in The Comparison Project's 2017-2019 lecture series on miracles. The Comparison Project is an enterprise in comparing a variety of religious voices, allowing them to stand in dialogue. 

This book is aimed to provide comprehensive and systematic knowledge of kinematic synthesis as developed up to date. Modern mechanical systems require advance kinematics knowledge to support mechanism design with sound theories and methods. The book includes not only the classical foundations of kinematic synthesis, but also the latest advances developed by the authors. Moreover, many examples are included to illustrate both methods and their supporting theory.The focus is on systems of rigid bodies forming closed loops. The four-bar linkage, representing the foundations of mechanical systems,  is given due attention, in its three domains: planar, spherical, and spatial. The book contains six chapters, the first two covering fundamentals for kinematic synthesis, including qualitative synthesis. Chapters 3-5 describe, in full detail,  the function, motion, and path syntheses of single-dof linkages.  In the last chapter, the synthesis of single-dof complex linkages, including six-bar and ten-bar linkages, is introduced.The book is suitable for graduate students of mechanical engineering, researchers of mechanism and robot design, and machine design engineers.

This book provides a guide on how to navigate and avoid medico-legal problems associated with the management of patients with urological diagnosis. Each chapter focuses on a different medical situation related to urology and discusses how they can be managed. The book aims to utilise the experience and understanding of its authors to help its readers manage and avoid medico-legal issues. This book is relevant to urologists, allied health professionals, nurses, physiotherapists, physicians, and medical legal practitioners.

Environmental contaminants are chemicals that accidentally or deliberately enter the environment, often, but not always, as a result of human activities. Some of these contaminants may have been manufactured for industrial use, and because they are very stable, they do not break down easily. If released to the environment, these contaminants may enter the food chain. Other environmental contaminants are naturally occurring chemicals, but industrial activity may increase their mobility or increase the amount available to circulate in the environment, allowing them to enter the food chain at higher levels than would otherwise occur. Environmental contaminants influence the physiological cell reactions at different and heterogeneous basics and lead to altering in normal cell function primarily at the molecular and biochemical level. Molecular responses to such common environmental stresses have been studied intensively over the last few years, in which there is an intricate network of signaling pathways controlling perception of these environmental stress signals, the generation of second messengers and signal transduction. Recent advances in many areas of plant and microbial research, including genotyping, make scientists optimistic that valuable solutions will be found to allow deployment/commercialization of strategies better able to tolerate these environmental stresses.Environmental remediation was historically viewed as an inherently sustainable activity, as it restores contamination; however, researchers and practitioners are increasingly recognizing that there can be substantial environmental footprints and socioeconomic costs associated with remediation. Sustainability is an imperative in the emerging green and sustainable remediation movement, which is reshaping the entire remediation industry.Understanding the significant roles of sustainable or eco-friendly approaches in mitigating environmental contaminants, the current subject has recently attracted the attention of scientists from across the globe. This comprehensive volume "e;Sustainable Management of Environmental Contaminants: Eco-friendly Remediation Approaches"e; highlights the various prospects involved in current scenario. The current volume comprises the chapters from diverse areas dealing with biotechnology, microbial technology, nanotechnology, molecular biology, green and sustainable remediation, etc. I am hopeful that this volume will furnish the requisite of all those who are working or have interest in the current topic.

This book explores the work and careers of women, trans, and third-gender artists engaged in political activism. While some artists negotiated their own political status in their indigenous communities, others responded to global issues of military dictatorship, racial discrimination, or masculine privilege in regions other than their own. Women, trans, and third-gender artists continue to highlight and challenge the disturbing legacies of colonialism, imperialism, capitalism, communism, and other political ideologies that are correlated with patriarchy, primogeniture, sexism, or misogyny. The book argues that solidarity among such artists remains valuable and empowering for those who still seek legitimate recognition in art schools, cultural institutions, and the history curriculum.

This book examines how international trade can be utilised to build a sustainable future. It highlights how international trade and climate regimes can work together to put in place a Green New Deal. The potential of mega-regional trade agreements to aid climate change mitigation and power the energy transition is explored in relation to the energy section, with a particular focus on clean technology. Broader perspectives are provided by an analysis of international trading systems in the Caribbean and Pacific Islands and a review of climate change law and policy in Brazil, Russia, India, and China.This book aims to provide an interdisciplinary understanding of how green trade can be achieved. It will be relevant to researchers and policymakers interested in international trade and environmental economics.

This book focuses on the unique philosophical relationship between Hedwig Conrad-Martius and Edith Stein. The two phenomenologists discussed and debated insights and ideas about the nature of the soul, phenomenology, personhood and individuality, animal life, nature, being, and God. This book brings together for the first time leading international scholars of phenomenology to explore the philosophical exchange between both Conrad-Martius and Stein. This is an important book for understanding the development of the phenomenological movement and key phenomenological ideas and methods. It provides a critical and comprehensive overview of the key issues that helped frame both phenomenologists' philosophical trajectories. Additionally, the ideas of Conrad-Martius and Stein are mined to address contemporary questions surrounding such topics as personal identity, animal versus human personhood, contemporary atheism, and the relationship between religion and science. The book will have great appeal to phenomenologists, philosophers, and historians of philosophy. 

This monograph presents a comprehensive, self-contained, and novel approach to the Divergence Theorem through five progressive volumes. Its ultimate aim is to develop tools in Real and Harmonic Analysis, of geometric measure theoretic flavor, capable of treating a broad spectrum of boundary value problems formulated in rather general geometric and analytic settings. The text is intended for researchers, graduate students, and industry professionals interested in applications of harmonic analysis and geometric measure theory to complex analysis, scattering, and partial differential equations.Volume I establishes a sharp version of the Divergence Theorem (aka Fundamental Theorem of Calculus) which allows for an inclusive class of vector fields whose boundary trace is only assumed to exist in a nontangential pointwise sense.

This book, fully updated for Python version 3.6+, covers the key ideas that link probability, statistics, and machine learning illustrated using Python modules in these areas.  All the figures and numerical results are reproducible using the Python codes provided. The author develops key intuitions in machine learning by working meaningful examples using multiple analytical methods and Python codes, thereby connecting theoretical concepts to concrete implementations. Detailed proofs for certain important results are also provided. Modern Python modules like Pandas, Sympy, Scikit-learn, Tensorflow, and Keras are applied to simulate and visualize important machine learning concepts like the bias/variance trade-off, cross-validation, and regularization. Many abstract mathematical ideas, such as convergence in probability theory, are developed and illustrated with numerical examples. This updated edition now includes the Fisher Exact Test and the Mann-Whitney-Wilcoxon Test. A new section on survival analysis has been included as well as substantial development of Generalized Linear Models. The new deep learning section for image processing includes an in-depth discussion of gradient descent methods that underpin all deep learning algorithms.   As with the prior edition, there are new and updated *Programming Tips* that the illustrate effective Python modules and methods for scientific programming and machine learning. There are 445 run-able code blocks with corresponding outputs that have been tested for accuracy.  Over 158 graphical visualizations (almost all generated using Python) illustrate the concepts that are developed both in code and in mathematics. We also discuss and use key Python modules such as Numpy, Scikit-learn, Sympy,  Scipy, Lifelines, CvxPy, Theano, Matplotlib, Pandas, Tensorflow, Statsmodels,  and Keras.This book is suitable for anyone with an undergraduate-level exposure to probability, statistics, or machine learning and with rudimentary knowledge of Python programming.

This book presents for the first time the results of scientific research in the field of special education and special psychology carried out by top experts of the Russian Federation and the Republic of Belarus. The range of problems discussed in the book reflects the most relevant areas of development of the education system and psychological and pedagogical assistance to children with special educational needs (SEN). Both scientific and methodological developments provide practitioners with modern means of diagnostic, correctional, developmental, and preventive work. Furthermore, responding to the current challenges, the authors present the results of research on the impact of virtual reality on the health of adolescents, the results of an experiment on the study and formation of financial literacy of high-school kids with developmental disorders, highlight approaches to the prevention of auto aggressive behavior in the adolescent environment, and offer the proven technologies for psychological and pedagogical habilitation and rehabilitation of children with SEN of various nosologic groups and children with somatic pathology studying at a hospital school. The theoretical block of the book includes an analysis of the fundamental problems of today's pedagogical and social reality: substantiation of conceptual approaches to the construction of an inclusive space, consideration of the basic psychophysiological mechanisms of speech, the formation of a convergent network educational environment and some other problems that can directly or indirectly affect the quality of education, upbringing, and social adaptation of children with SEN. The book is intended for psychologists, special-need experts, teachers, methodologists, employees of educational organizations working with children with disabilities, specialists in the field of inclusive education, students and teachers of special education, and pedagogical and psychological departments of higher education institutions.

Our vast Universe is filled with an enormous amount of matter and energy, which are the source of large gravitational potentials affecting all physical phenomena. Because this fact about the size and contents of the Universe was not known when our fundamental theories of dynamics and relativity were completed by the 1920s, the current theories - based as they are in empty space - fail to incorporate cosmic gravity. Though the current theories are consistent with the majority of empirical facts, there are some crucial discrepancies, which demand a drastic shift to a cosmic gravitational paradigm for the theories of relativity and dynamics. The book is a detailed and widely accessible account of this paradigm, called Cosmic Relativity, supported by ample empirical evidence. It is established that all motional relativistic effects are cosmic gravitational effects. The new theory of Cosmic Relativity solves and answers all outstanding questions and puzzles about dynamics and relativity.

Positive psychology--the study and promotion of character strengths, positive emotion, and optimism--has gained considerable momentum and support in recent years. Yet despite its application to various specialty areas within the broader field of psychology, neuropsychology has been slow to adopt and adapt its ideas. The contributors to Positive Neuropsychology assert that neuropsychology as a discipline should concern itself with promoting cognitive health as well as addressing pathology. In these pages, positive neuropsychology is conceived of as broadening and enhancing the field, focusing on key areas such as studying and developing cognitive strengths, considering the importance of lifestyle factors on cognition, preventing cognitive dysfunction, compensating for deficits, and promoting cognitive health through education and technology. Chapters reveal not only the benefits of understanding cognitive health and optimal outcomes across the lifespan, but also emerging avenues for practitioners to expand their work into non-traditional settings. Among the topics featured: Modifiable lifestyle factors that impact cognition through midlife.Effects of coping strategies on outcomes in neurological disorders.Promoting cognitive health through effective sports concussion management.Use of innovative assessment and compensatory strategies to promote the executive functions. Promoting psychosocial and cognitive wellness in the workplace.Lifestyle factors and successful cognitive aging in older adults.Gerontechnology applications focused on promoting cognitive and general health.Bringing new dimensions to the neuroscience, wellness, and positive psychology literatures, Positive Neuropsychology will interest a wide range of academics and clinicians, including neuropsychologists, geriatricians, health psychologists, cognitive neuroscientists, and other mental health and public health professionals.

This new edition has been thoroughly revised, expanded and contain some updates function of the novel results and shift of scientific interest in the topics. The book has a Foreword by Jerry L. Bona and Hongqiu Chen. The book is an introduction to nonlinear waves and soliton theory in the special environment of compact spaces such a closed curves and surfaces and other domain contours. It assumes familiarity with basic soliton theory and nonlinear dynamical systems.The first part of the book introduces the mathematical concept required for treating the manifolds considered, providing relevant notions from topology and differential geometry. An introduction to the theory of motion of curves and surfaces - as part of the emerging field of contour dynamics - is given.The second and third parts discuss the modeling of various physical solitons on compact systems, such as filaments, loops and drops made of almost incompressible materials thereby intersecting with a large number of physical disciplines from hydrodynamics to compact object astrophysics.This book is intended for graduate students and researchers in mathematics, physics and engineering.

This book highlights the uses for underutilized crops, presenting the state-of-the-art in terms of genome sequencing for over 30 crops, previously understudied and under-researched. In a changing climate and with significant pressure on the land, it is the ideal time to be discussing novel crops, with significant biotic and abiotic tolerances and/or rich nutrient profiles for consumers. Previously, the only species with sequenced genomes were high-profile internationally recognized crops, but in the current era genomes are being sequenced for dozens of crops, including those previously classified as underutilized, now being investigated. This book covers food crops, from fruits to tubers, and from grasses to legumes, as well as crops with non-food applications. Some of these crops have draft genomes, and others have polished genomes with extensive resequencing panels. Each chapter tells the story of an individual crop or crop group, written by experts, focusing on the genome data available, revealing more about crop domestication and genetic variation, and the current and future prospects given that this data is now becoming available. It also highlights how even small sequencing projects can provide draft genome sequences suitable for gene discovery, comparative genomics, and identification of molecular markers for understanding these crops further.

This graduate textbook provides an alternative to discrete event simulation. It describes how to formulate discrete event systems, how to convert them into Markov chains, and how to calculate their transient and equilibrium probabilities. The most appropriate methods for finding these probabilities are described in some detail, and templates for efficient algorithms are provided. These algorithms can be executed on any laptop, even in cases where the Markov chain has hundreds of thousands of states. This book features the probabilistic interpretation of Gaussian elimination, a concept that unifies many of the topics covered, such as embedded Markov chains and matrix analytic methods.The material provided should aid practitioners significantly to solve their problems. This book also provides an interesting approach to teaching courses of stochastic processes.

This book presents Internet transport economics as a new approach to understanding the packet-switching paradigm of Internet infrastructure as a global transport system for data packets. It is a prescient view of the Internet's evolution into a content-centric service platform where the quality of services (QoS) cannot be guaranteed due to the tens of thousands of autonomous systems that enact business decisions on peering, routing, and pricing in a way that determines aspects of the Internet ecosystem like network topology, latency and throughput of traffic flows, and performance of network applications. The trafficking issues created in this environment are a critical concern and barrier for user applications that require real-time responses, such as telesurgery and teleoperation of autonomous vehicles, and the book presents the Internet transport economics model as the solution.                While engineering and business are the prevailing lenses through which the Internet is viewed, the book builds its methodological framework around transport. Further delving into economics, it establishes how the Internet can be understood as providing transport services for data packets, whose demand and supply are driven by the QoS metrics of delay and loss, which can be regarded as congestion costs that result in equilibrium rates of traffic flows sent by content providers (CPs). The book goes on to present a stylized model of content provider-to-access provider (CP-AP) service as well as congestion equilibrium and rate equilibrium solution concepts under the Internet transport economics framework. These are used to analyze the problem domains of service differentiation, market structure, and data pricing. Finally, it discusses various potential future applications. This book will be of interest to graduate students and researchers in areas of computer networking and performance evaluation.

This book emphasizes the latest developments and achievements in AI and related technologies with a special focus on food quality. The book describes the applications, and conceptualization of ideas, and critical surveys covering most aspects of AI for food quality.

This volume proposes an integral approach to studying the geophysics of Earth. It is motivated by a variety of phenomena from nature with deep and direct impacts in our lives. Such events may evolve across a large range of spatial and time scales and may be observed in the ocean, the atmosphere, the volcanic surface as well as underground.The physical laws dictating the evolution of such phenomena lead to the unifying theme of this manuscript, that is, the mathematical and computational modeling of flows and waves. Consequently, the underlying models are given in terms of Partial Differential Equations (PDEs) whose solutions are approximated using numerical methods, thus providing simulations of the aforementioned phenomena, as well as the appropriate geophysical validation and interpretation.

This is a significant book that investigates how the French internal resistance and external Free French movement were financed during the Second World War. It brings together the secretive financial aspects of resistance inside France with those under the control of the Free French movement in London. To date, there have been a number of studies that have followed the Gaullist movement, but none have studied how they were funded. This exploration also demonstrates the global scale of the war. It shows how the Free French were not simply a European, Atlantic-based movement, but were, in fact, colonial and operated on a global scale, shedding light on French relations with their colonies in Africa and the Pacific. It underlines the role played by expatriates, those belonging to the French diaspora and third-country nationals, in Allied nations and neutral countries, including Central and South America.Through the combination of digital humanities methods, including social network analysis and GIS (Geographic Information Systems), the Allied funding for de Gaulle¿s movement and the internal resistance will be unveiled, for the first time, in its entirety. The painstaking reconstruction of the financial records of the Free French and their lines of subsidy is a novel approach that sheds new light onto the financial networks between French, British and American officials who made this financing possible. This illuminates the complexity of international relations in a time of war. Using a combination of economic and accounting analysis, as well as primary-sourced historical research, this book distinctively applies sociological methodologies to this long-held question. This book will be of interest to those in economics, economic history, finance, accounting, digital humanities, modern history, international relations, political science and war studies.

This book charts the process of civilisation in Japan. Using the theory of civilising processes developed by Norbert Elias, the author examines the complex underlying structural and psychological processes from the seventh century to the twentieth century. Furthermore, by drawing on rich historical data, the author illustrates how these complex processes led the Japanese to see themselves as 'more civilised' than their forebears and neighbouring countries. Although the theory serves as an important reference point, the author draws on other works to address different complex questions surrounding Japanese development. Therefore, this book presents three key themes: first, it gives an alternative understanding of the complex developments of Japanese society; second, it intercedes into an ongoing debate about the applicability of Elias's theory in a non-Western context; and third, it expands Elias's theory.

This book provides an overview on current trends and developments in precision nutrition and personalized health preservation, focussing on a field which is undergoing rapid change. Today, personalized strategies contrast generally accepted guidelines for specified groups and improved health and disease markers are shifting health care toward preventive strategies. At the same time, advances in food additives, nutraceuticals, functional, and medical foods are breaking down the traditional domains of health-related disciplines. This book aims to provide an overview on these processes, discusses arising problems, and provides an outlook on the future of personalized health care and the role of precision nutrition. It covers preliminary thoughts on what has been achieved and focusses on developments in the area of metabolic diseases, aging, and neurology. The book is intended as a primer in the field of precision nutrition and is aimed at researchers, clinicians, and students in health-related disciplines, who would like to get insights into current trends and developments in this area

This book offers a unique blend of writing from a broad range of international perspectives, showing interdisciplinary research approaches to decolonising curriculum knowledge. With a focus on the intellectual, emotional, economic, and political reversal of colonial injustices, the decolonial research and writing in this book challenge dominant viewpoints and assumptions of curriculum knowledge by amplifying and disseminating the knowledge and perspectives of peoples that curriculum knowledge has historically silenced and marginalized. The chapters in this book allow the reader to learn from the historical, social, political, cultural, and educational contexts of the UK, Nepal, South Africa, Namibia, Australia, Colombia, Canada, Thailand, Mauritius, Poland, Russia, Norway, and the Netherlands. This internationality provides the reader with a multitude of research themes and critical analytical perspectives for seeing how epistemic power permeates as cultural imperialism in education policies and practices across the world.

This book presents a comprehensive guide to the design of playing robots and the related play experiences. Play is a natural activity for building and improving abilities, and it reveals important particularly for persons with disabilities. Many social, physical and cultural factors may hinder children with disabilities from fully enjoying play as their peers. Autonomous robots with specific characteristics can enhance the ludic experience, having implications for the character of the play and presenting opportunities related to autonomy and physical movement, the very nature of robots. Their introduction into play thus provides everybody, and in particular persons with disabilities, new possibilities for developing abilities, improving general status, participating in social contexts, as well as supporting professionals in monitoring progress.This book presents a framework for the design of playful activities with robots, developed over 20 years' experience at AIRLab - POLIMI. Part 1 introduces the play concepts and characteristics, and research results about play of children with different kinds of impairments. Part 2 focuses on implementing robots able to play. The design of playful activities is discussed, as well as the necessary characteristics for them to be useful in both general play and activities involving disability-related limitations. In Part 3, the defined framework is used to analyze possibilities involving robots available on the toy market, robots developed at research labs, and robots to be developed in the next future. The aim of the book is to give developers, caregivers, and users a set of methodological tools for selecting, exploring, and designing inclusive play activities where robots play a central role.

This handbook aims to serve as a one-stop, reliable source of reference, with curations of survey and expository contributions on the state-of-the-art in Blockchain technology. It covers a comprehensive range of topics, providing the technical and non-technical reader with fundamentals, applications, and deep details on a variety of topics. The readership is expected to span broadly from technologically-minded business professionals and entrepreneurs, to students, instructors, novices and seasoned researchers, in computer science, engineering, software engineering, finance, and data science. Though Blockchain technology is relatively young, its evolution as a field and a practice is booming in growth and its importance to society had never been more important than it is today. Blockchain solutions enable a decentralization of a digital society where people can contribute, collaborate, and transact without having to second-guess the trust and transparency factors with many geographical, financial, and political barriers removed. It is the distributed ledger technology behind the success of Bitcoin, Ethereum, and many emerging applications.The resource is divided into 5 parts. Part 1 (Foundation) walks the reader through a comprehensive set of essential concepts, protocols, and algorithms that lay the foundation for Blockchain. Part 2 (Scalability) focuses on the most pressing challenges of today's blockchain networks in how to keep pace with real-world expectations. Part 3 (Trust and Security) provides detailed coverage on the issues of trust, reputation, and security in Blockchain.  Part 4 (Decentralized Finance) is devoted to a high-impact application of Blockchain to finance, the sector that has most benefitted from this technology. Part 5 (Application and Policy) includes several cases where Blockchain applies to the real world.

This book contends that Africa's sustainable development must be built on African identity and values.  Contributors reflect of the role of values in Africa's effort to overcome poverty, the focus of SDG 1. The volume reflects on how indigenous values such as Ubuntu constitute a critical resource in addressing poverty. It reiterates the importance of positioning the response to poverty in Africa on the continent's own, home grown values. Contributors also interrogate how values such as integrity, hard work, tolerance, solidarity, respect and others serve to position Africa strategically to overcome poverty. The volume focuses on how values can help Africa to overcome challenges such as corruption, violence, intolerance, competitive ethnicity, xenophobia, misplaced priorities and others. It provides fresh and critical reflections on the role of values and identity in anchoring Africa's development in the light of SDG 1.

This book shares state-of-the-art insights on judicial decision-making from both theoretical and empirical perspectives. It offers in-depth coverage of the forefront of the field and reviews the most important issues and discussions connected with an empirical approach to judicial decision-making. It also addresses the challenges of judicial psychology to the ideal of rule of law and explores the promise and perils of applying artificial intelligence in law. In closing, it offers empirically-driven guidance on ways to improve the quality of legal reasoning.

This book explores early new critical debates about intention, tracing how and why intention was dismissed across much humanities scholarship, and how it can be revisited and made relevant as a key formative, evaluative, and ethical concept. The author argues that the academic disinterest in intention occurred simultaneously as genre criticism and later the rhetorical interest in genre came into its own. Genre became a way to simultaneously elide and naturalize intention. The book elaborates on the pedagogical, ethical, and empirical consequences naturalizing intention through genre has had for rhetorical studies and it offers a new term, ¿curations¿ to identify discursive forms, actions, and intentions working simultaneously. Finally, he also examines the gap between the humanities and STEM fields and shows specific ways scientists and engineers have called for the humanities to become more invested in intention as both a critical and an operational concept. This book will be of interest to students and scholars of discourse studies and critical discourse analysis, rhetoric and professional communication, including those in fields such as medicine, engineering, STS and business studies.

This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic.The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide unambiguous descriptions of the real world that facilitate understanding and formal and informal analysis. The target audience consists of graduate students, young researchers and industrial practitioners, from both computer science and other fields that make use of computational methods.