Bøger af Erika Ábrahám

This book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4¿8, 2023.The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed and selected from 40 submissions. They were organised in the topical sections as follows: Bring Together Practitioners; Researchers from Academia; Industry; Government to Present Research Results and Exchange Experience and Ideas.

This book constitutes the proceedings of the 19th International Conference on Quantitative Evaluation Systems, QEST 2022, held in Warsaw, Poland, in September 2022.The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are organized in the following topics: program analysis; parameter synthesis; markovian agents and population models; dynamical systems; tools; applications and automata theory; and applications.

"Go for it, Mom!" With those words of encouragement, Erika Abraham began a long running journey defined by dozens of years; thousands of miles; countless trophies, medals, and other awards; and many, many smiles. Running brought her confidence, led her to the love of her life, and showed her that despite earlier setbacks and pain, the best was yet to come. Her story is about running, laughing, and reaching new heights.