This volume is exemplary in showing how the shared interests of three different areas of research can lead to significant cooperation and fruitful exchanges of techniques. Six papers each present in an accessible way an exciting contribution to the study and use of algebras, diagrams and decisions. These themes are of interest to researchers in the areas of language, logic and computation.
The types of contributions range from indispensable overview papers about shared formal methods to inspirational applications of formal tools to specific problems.
Contributors to this volume are Pieter Adriaans, Sergei Artemov, Steven Givant, Edward Keenan, Almerindo Ojeda, Patrick Scotto di Luzio, and Edward Stabler.