Peace and Conflict Studies (PCS) includes scholars and practitioners throughout the world working in peace studies, conflict analysis and resolution, conflict management, appropriate dispute resolution, and peace and justice studies. They come to the PCS field with a diversity of ideas, approaches, disciplinary roots, and topic areas, which speaks to the complexity, breadth, and depth needed to apply and take account of conflict dynamics and the goal of peace. Yet, a number of key concerns...

The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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 52 full papers, 4 short papers and 16 SV-COMP papers included in the proceedings were carefully reviewed and selected from 177 submissions....

Return to the world of LITTLE LUNCH with fan-favourite Rory in this hilarious, highly illustrated story by award-winning duo Danny Katz and Mitch Vane.When Tamara Noodle tries selling her scrunchies to raise money for a new athletics uniform, Rory realises he can help by being a sales guy. He sells Battie three scrunchies for ten dollars - but Battie doesn't have ten dollars. In fact, none of the kids have real money ... but that doesn't stop Rory the Sale...

Return to the world of Little Lunch with fan-favourite Rory as he gets up to more mischief in this hilarious two-story bundle by award-winning duo Danny Katz and Mitch Vane.Rory the Pretender:Rory likes pretending to be different things. On Monday he's a crocodile, on Tuesday he's a giant spider crab, and on Wednesday he's a bowling ball. But when he keeps hurting his chin, Rory decides he better stop pretending and just be himself. The problem is, he isn't sure how to be a...

The open access book set LNCS 16505 + 16506 constitutes the proceedings of the 32nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 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-16m 2026.

This LNCS volume constitutes the proceedings of the First International Symposium on AI Verification, SAIV 2024, in Montreal, QC, Canada, during July 2024.The scope of the topics was broadly categorized into two groups. The first group, formal methods for artificial intelligence, comprised: formal specifications for systems with AI components; formal methods for analyzing systems with AI components; formal synthesis methods of AI components; testing approaches for systems with AI c...

This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022.The volume contains 8 full papers from the FoMLAS 2022 workshop and 3 full papers from the NSV 2022 workshop. The FoMLAS workshop is dedicated to the development of novel forma...