Workshop Schedule

15 May 2007

08:30-08:45Workshop Opening
08:45-09:00Agent Contest: Summary and Winner Announcement
Session 1
09:00-10:00Invited Talk: Jorg Mueller
Title: Business application of agent technology
10:00-10:30Agents do it for money – Accounting features in Agents
Jan Keiser, Benjamin Hirsch, and Sahin Albayrak

10:30-11:00 Coffee Break

Session 2: Environment and Interaction
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

12:30-14:00 Luch Break

Session 3: Agent Programming Languages
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
Koen Hindriks

16:00-16:30 Coffee Break

Session 4: Analysis of Multi-Agent Systems
16:30-18:00Specifying, 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.