This work presents 21 papers presented at the 12th International Workshop on Algebraic Development Techniques, along with three invited surveys. The algebraic approach to the specification and development of systems, born as a formal method for abstract data types, encompasses the formal design of integrated hardware and software systems, specification frameworks and a wide range of applications.