This book constitutes the refereed post-conference proceedings of the First IFIP TC 5 International Conference on Computer Science Protecting Human Society Against Epidemics, ANTICOVID 2021, held virtually in June 2021.The 7 full and 4 short papers presented were carefully reviewed and selected from 20 submissions. The papers are concerned with a very large spectrum of problems, ranging from linguistics for automatic translation of medical terms, to a proposition for a worldwide system of fast reaction to emerging pandemic.

This book addresses agent-based computing, concentrating in particular on evolutionary multi-agent systems (EMAS), which have been developed since 1996 at the AGH University of Science and Technology in Cracow, Poland. It provides the relevant background information on and a detailed description of this computing paradigm, along with key experimental results. Readers will benefit from the insightful discussion, which primarily concerns the efficient implementation of computing frameworks for developing EMAS and similar computing systems, as well as a detailed formal model. Theoretical deliberations demonstrating that computing with EMAS always helps to find the optimal solution are also included, rounding out the coverage.

The human capacity to abstract complex systems and phenomena into simplified models has played a critical role in the rapid evolution of our modern industrial processes and scienti c research. As a science and an art, Modelling and Simulation have been one of the core enablers of this remarkable human trace, and have become a topic of great importance for researchers and practitioners.

This book was created to compile some of the most recent concepts, advances, challenges and ideas associated with Intelligent Modelling and Simulation frameworks, tools and applications. The rst chapter discusses the important aspects of a human interaction and the correct interpretation of results during simulations. The second chapter gets to the heart of the analysis of entrepreneurship by means of agent-based modelling and simulations.

The following three chapters bring together the central theme of simulation frameworks, rst describing an agent-based simulation framework, then a simulator for electrical machines, and nally an airborne network emulation environment. The two subsequent chapters discuss power distribution networks from different points of view-anticipation and optimization of multi-echelon inventory policy. After that, the book includes also a group of chapters discussing the mathematical modelling supported by veri cation simulations, and a set of chapters with models synthesised by means of arti cial intelligence tools and complex automata framework. Lastly, the book includes a chapter introducing the use of graph-grammar model for generation of threedimensional computational meshes and a chapter focused on the experimental and computational results regarding simulation of aero engine vortexes. Authors believe, that this book is a valuable reference to researchers and practitioners in the eld, as well as an inspiration to those interested in the area of Intelligent Modelling and Simulation.

This book addresses agent-based computing, concentrating in particular on evolutionary multi-agent systems (EMAS), which have been developed since 1996 at the AGH University of Science and Technology in Cracow, Poland. It provides the relevant background information on and a detailed description of this computing paradigm, along with key experimental results. Readers will benefit from the insightful discussion, which primarily concerns the efficient implementation of computing frameworks for developing EMAS and similar computing systems, as well as a detailed formal model. Theoretical deliberations demonstrating that computing with EMAS always helps to find the optimal solution are also included, rounding out the coverage.

The human capacity to abstract complex systems and phenomena into simplified models has played a critical role in the rapid evolution of our modern industrial processes and scienti c research. As a science and an art, Modelling and Simulation have been one of the core enablers of this remarkable human trace, and have become a topic of great importance for researchers and practitioners.

This book was created to compile some of the most recent concepts, advances, challenges and ideas associated with Intelligent Modelling and Simulation frameworks, tools and applications. The rst chapter discusses the important aspects of a human interaction and the correct interpretation of results during simulations. The second chapter gets to the heart of the analysis of entrepreneurship by means of agent-based modelling and simulations.

The following three chapters bring together the central theme of simulation frameworks, rst describing an agent-based simulation framework, then a simulator for electrical machines, and nally an airborne network emulation environment. The two subsequent chapters discuss power distribution networks from different points of view-anticipation and optimization of multi-echelon inventory policy. After that, the book includes also a group of chapters discussing the mathematical modelling supported by veri cation simulations, and a set of chapters with models synthesised by means of arti cial intelligence tools and complex automata framework. Lastly, the book includes a chapter introducing the use of graph-grammar model for generation of threedimensional computational meshes and a chapter focused on the experimental and computational results regarding simulation of aero engine vortexes. Authors believe, that this book is a valuable reference to researchers and practitioners in the eld, as well as an inspiration to those interested in the area of Intelligent Modelling and Simulation.

This book constitutes the refereed post-conference proceedings of the First IFIP TC 5 International Conference on Computer Science Protecting Human Society Against Epidemics, ANTICOVID 2021, held virtually in June 2021.The 7 full and 4 short papers presented were carefully reviewed and selected from 20 submissions. The papers are concerned with a very large spectrum of problems, ranging from linguistics for automatic translation of medical terms, to a proposition for a worldwide system of fast reaction to emerging pandemic.

This book constitutes revised selected papers from the 21st International Symposium on Trends in Functional Programming, TFP 2020, which was held in Krakow, Poland, during February 13-14, 2020. The 11 full papers presented in this volume were carefully reviewed and selected from 22 submissions. They were organized in topical sections named: domain-specific languages; debugging and testing; reasoning and effects; and parallelism.