This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. The ?rst conference was held in the USA in 1989, and since then AMAST conferences have been held on (or near) ?ve di?erent continents and have been hosted by many of the most prominent people and organizations in the ?eld. The AMAST initiative has always sought to have practical e?ects by dev- oping the science of software and basing it on a ?rm mathematical foundation. AMAST hasinterpretedsoftwaretechnologybroadly, andhas, for example, held AMAST workshops in areas as...

This volume presents 48 revised full papers from the Sixth International Conference on Algebraic Methodology and Software Technology. One of the features of this conference is its mix of serious mathematical development of formal methods in software engineering with practical concerns, tools, case studies and industrial development. The volume addresses all aspects of formal methods in software engineering and programming methodology, with an emphasis on algebraic and logical foundations.