This book constitutes revised selected and invited papers from the 4th International Workshop
on Engineering Multi-Agent Systems EMAS 2016 held in Singapore in May 2016 in conjunction
with AAMAS. The 10 full papers presented in this volume were carefully reviewed and selected
from 14 submissions. The book also contains 2 invited papers extended versions of AAMAS 2016
demonstration abstracts. EMAS deals with MAS software engineering processes methodologies and
techniques Programming languages for MAS Formal methods and declarative technologies for the
specification validation and verification of MAS and development tools.
