The workshop aims at bringing together researchers and practitioners with interests in logic, algebra, category theory and their applications in computing science. Modern specification languages are based on logic. For any such language there exists a specific logical system underlying the language’s features and constructions. The logic-based approach has great advantages for formal software verification, […]