This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020.The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints.Due to the Corona pandemic this conference was held as a virtual event.

This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems.After earning her doctorate from the University of Mannheim, Christel Baier held research and professorial positions in Mannheim and Bonn. Since 2006 she has been a full professor of Algebraic and Logical Foundations of Computer Science at Technische Universität Dresden, where she currently serves as the Dean of the Faculty of Computer Science. In 2011, she was elected to the Academia Europaea. She was the Editor-in-Chief of Acta Informatica from 2015 to 2022, and received an honorary doctorate from RWTH Aachen University in 2022. Among her many notable research achievements, Christel Baier has shaped the foundations and practical applications of system verification. She pioneered probabilistic model checking, advanced techniques for model checking of continuous-time Markov chains, and coauthored the standard textbook Principles of Model Checking. Beyond her research contributions, she is widely respected within the scientific community. Her service has included invited talks, membership in key steering and program committees, and organizing scientific events. Christel Baier has mentored and guided many students and fellow scientists. They appreciate her way of approaching every task with remarkable persistence, focus, and diligence. Many of these collaborators were pleased to contribute to this volume and to celebrate joint work and successes.

This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems.After earning her doctorate from the University of Mannheim, Christel Baier held research and professorial positions in Mannheim and Bonn. Since 2006 she has been a full professor of Algebraic and Logical Foundations of Computer Science at Technische Universität Dresden, where she currently serves as the Dean of the Faculty of Computer Science. In 2011, she was elected to the Academia Europaea. She was the Editor-in-Chief of Acta Informatica from 2015 to 2022, and received an honorary doctorate from RWTH Aachen University in 2022. Among her many notable research achievements, Christel Baier has shaped the foundations and practical applications of system verification. She pioneered probabilistic model checking, advanced techniques for model checking of continuous-time Markov chains, and coauthored the standard textbook Principles of Model Checking. Beyond her research contributions, she is widely respected within the scientific community. Her service has included invited talks, membership in key steering and program committees, and organizing scientific events. Christel Baier has mentored and guided many students and fellow scientists. They appreciate her way of approaching every task with remarkable persistence, focus, and diligence. Many of these collaborators were pleased to contribute to this volume and to celebrate joint work and successes.

This open access book constitutes the proceedings of the 29th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11–16, 2026.The 30 papers included in these proceedings were carefully reviewed and selected from 104 submissions. They focus on foundational research in software science on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

This book constitutes the proceedings of  the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and performance modeling; parametric verification; machine learning and formal methods; tools.

This book constitutes the refereed proceedings of the 18th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2020, held in Vienna, Austria, in September 2020.The 16 full papers and 2 short papers presented in this volume were carefully reviewed and selected from 42 submissions. The papers focus on topics such as foundations and semantics, methods and tools, techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints.Due to the Corona pandemic this conference was held as a virtual event.

This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems.After earning her doctorate from the University of Mannheim, Christel Baier held research and professorial positions in Mannheim and Bonn. Since 2006 she has been a full professor of Algebraic and Logical Foundations of Computer Science at Technische Universität Dresden, where she currently serves as the Dean of the Faculty of Computer Science. In 2011, she was elected to the Academia Europaea. She was the Editor-in-Chief of Acta Informatica from 2015 to 2022, and received an honorary doctorate from RWTH Aachen University in 2022. Among her many notable research achievements, Christel Baier has shaped the foundations and practical applications of system verification. She pioneered probabilistic model checking, advanced techniques for model checking of continuous-time Markov chains, and coauthored the standard textbook Principles of Model Checking. Beyond her research contributions, she is widely respected within the scientific community. Her service has included invited talks, membership in key steering and program committees, and organizing scientific events. Christel Baier has mentored and guided many students and fellow scientists. They appreciate her way of approaching every task with remarkable persistence, focus, and diligence. Many of these collaborators were pleased to contribute to this volume and to celebrate joint work and successes.

This Festschrift is dedicated to Christel Baier in recognition of her contributions to the field of theoretical computer science, particularly in formal methods, temporal logics, model checking, and probabilistic systems.After earning her doctorate from the University of Mannheim, Christel Baier held research and professorial positions in Mannheim and Bonn. Since 2006 she has been a full professor of Algebraic and Logical Foundations of Computer Science at Technische Universität Dresden, where she currently serves as the Dean of the Faculty of Computer Science. In 2011, she was elected to the Academia Europaea. She was the Editor-in-Chief of Acta Informatica from 2015 to 2022, and received an honorary doctorate from RWTH Aachen University in 2022. Among her many notable research achievements, Christel Baier has shaped the foundations and practical applications of system verification. She pioneered probabilistic model checking, advanced techniques for model checking of continuous-time Markov chains, and coauthored the standard textbook Principles of Model Checking. Beyond her research contributions, she is widely respected within the scientific community. Her service has included invited talks, membership in key steering and program committees, and organizing scientific events. Christel Baier has mentored and guided many students and fellow scientists. They appreciate her way of approaching every task with remarkable persistence, focus, and diligence. Many of these collaborators were pleased to contribute to this volume and to celebrate joint work and successes.

This open access book constitutes the proceedings of the 29th International Conference on Foundations of Software Science and Computation Structures, FoSSaCS 2026, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, in Turin, Italy, during April 11–16, 2026.The 30 papers included in these proceedings were carefully reviewed and selected from 104 submissions. They focus on foundational research in software science on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.

This book constitutes the proceedings of  the 14th International Conference on Quantitative Evaluation Systems, QEST 2017, held in Berlin, Germany, in September 2017.The 20 full papers and 4 tool papers presented were carefully reviewed and selected From 58 submissions. The papers are organized in topical sections entitled: probabilistic modeling; smart energy systems over the cloud; Petri nets and performance modeling; parametric verification; machine learning and formal methods; tools.