This book contains the proceedings of the ?rst international workshop on l- guages, methodologies and development tools for multi-agent systems (LADS 2007), which took place on 4-6 September 2007 in Durham, UK. This
workshop was part of MALLOW 2007, a federation of workshops on Multi-Agent Logics, Languages, and Organisations. The LADS 2007 workshop addressed both theoretical and practical issues related to developing and deploying
multi-agent systems. It constituted a rich forum where leading researchers from both academia and industry could share their experiencesonformalapproaches,programminglanguages,methodologies, tools andtechniques supporting the
developmentanddeploymentof multi-agent systems.Fromatheoreticalpointofview,LADS2007aimedataddressingissues related to theories, methodologies, models and approaches that are needed to facilitate the development of multi-agent
systems ensuring their predictability andveri?cation.Formaldeclarativemodelsandapproacheshavethe potentialof o?ering solutions for the speci?cation and design of multi-agent systems. From a practical point of view, LADS 2007
aimed at stimulating research and d- cussion on how multi-agent system speci?cations and designs can be e?ectively implemented and tested. This book is the result of a strict selection and review process. From 32 papers
originally submitted to LADS 2007, and after 2 rounds of reviews, we selected 15 high-quality papers covering important topics related to multi-agent programming technology, such as: theories, methodologies, techniques and pr-
ciples of multi-agent systems. The book also contains an invited paper, in which Dave Robertson reports on the aims and achievements of the OpenKnowledge project.