|08:45-09:00||Agent Contest: Summary and Winner Announcement|
|09:00-10:00||Invited Talk: Jorg Mueller|
Title: Business application of agent technology
|10:00-10:30||Agents do it for money – Accounting features in Agents Jan Keiser, Benjamin Hirsch, and Sahin Albayrak|
|11:00-12:30||Designing Protocols for Agent Institutions|
Huib Aldewereld, Frank Dignum and John-Jules Ch. Meyer
|Interoperability for Bayesian Agents in the Semantic Web|
Elder Rizzon Santos, Moser Silva Fagundes, and Rosa Maria Vicari
|General-purpose Programming Model & Technology for Developing Working Environments in MAS Alessandro Ricci, Mirko Viroli, and Andrea Omicini|
|14:00-16:00||A Practical Agent Programming Language|
Mehdi Dastani and John-Jules Ch. Meyer
|A Common Semantic Basis for BDI Languages|
Louise Dennis et al.
|Adding structure to agent programming languages|
Peter Nov´ak and Jurgen Dix
|Modules as Policy-Based Intentions: Modular Agent Programming in GOAL|
|16:30-18:00||Specifying, Verifying and Implementing a MAS: A case study|
Bruno Mermet et al.
|Tracking causality by visualization of multi-agent interactions using causality graphs|
Guillermo Vigueras and Juan A. Bot?a
|Hybrid Multiagent Systems with Times Synchonization – Specification and Model Checking|
Ulrich Furbach et al.