9. ProMAS 2011: Taipei, Taiwan

Foundations of Agent Programming Languages

Multi-Agent Oriented Programming

Model Checking

Multi-Agent Programming Contest