PhD student Lacramioara Astefanoaei (CWI) won the Best Paper Award 2008 during the 11th Pacific Rim International Conference on Multi-Agents (PRIMA 2008).
The winning article A Verification Framework for Normative Multi-agent Systems is part of the NWO CoCoMas project. In this project multi-agent systems are investigated. Those systems consist of agents: software programs that autonomously can make decisions based on observations of a dynamic environment. Agents can bid at auctions, for instance. In the CoCoMas project models are developed for the coordination and composition of multi-agent systems. The project is a collaboration with the Intelligent Systems group in Utrecht.