Wednesday, April 14, a.m. Room 46

10:50-11:00

Welcome (Jörg Müller & Paolo Petta)

11:00-13:00

Session 1: Runtime I

PROSOCS: A Platform for Programming Software Agents in Computational Logic
K. Stathis, W. Lu, A. Kakas, N. Demetriou, U. Endriss, A. Bracciali, Universita di Pisa, Italy

A Testbed for Agent Mediated Service Composition
A. Poggi, M. Tomaiuolo, P. Turci, Universita degli Studi di Parma, Italy

Multi-Agent Systems as Web Service Providers - Distributing SOAP Requests to Agents by Redirection
M. Sonntag, Johannes Kepler University, Linz, Austria

Enforcing Privacy via Brokering within Nomadic Environment
L. Titkov, S. Poslad, J.J. Tan, University of London, England

14:00-15:30

Session 2: Innovation

From Entropy to Ontology
J. Calmet, A. Daemi, Universität Karlsruhe (TH) , Germany

Robustness of Social Knowledge in Multi-Agent Systems
P. Tichy, Rockwell Automation Research Center and Czech Technical University, Prague, Czech Republic

From the Philosophy of Personal Identity to the Laws of Agent Societies
L. Bölöni, University of Central Florida, USA

15:30-16:00

Coffee Break

16:00-17:30

Session 3: Runtime II

A Semantics for the Interaction of Agents with Coordination Artifacts
M. Viroli, A. Ricci, A. Omicini, DEIS, Universita degli Studi di Bologna, Italy

Compliance Verification of Agent Interaction: a Logic-Based Software Tool
M. Alberti, M. Gavanelli, E. Lamma, F. Chesani, P. Mello, P. Torroni, Universita di Ferrara, Italy

A Generic Simulation Service for Distributed Multi-Agent Systems
L. Braubach, A. Pokahr, W. Lamersdorf, K.-H. Krempels, P.-O. Wölk,Universität Hamburg, Germany

17:30-18:00

Wrap up discussion 1st day