The workshop aims at bringing together researchers and practitioners with interests in logic, algebra, category theory and their applications in computing science.