Friday, April 21, a.m. Room 47

Symposium L: AT2AI-5: From Agent Theory to Agent Implementation
P.Petta, Austria. and J.P. Müller, Germany

Evolving Characters in Role Playing Games
J. Leite, L. Soares, New University of Lisbon, Portugal

An Agent Compositional Proof System
B. Mermet, D. Fournier, G. Simon, Université du Havre, Le Havre, France

Agent Contracting and Reconfiguration in Competitive Environments
J. Bíba, J. Vokrínek, Czech Technical University in Prague, Czech Republic

Discovering Patterns in the Behaviour of Open Multi-Agent Systems
R. Fuentes-Fernández, J.J. Gómez-Sanz, J. Pavón, Universidad Complutense Madrid, Spain

Exploring the Dynamics of Self-Organising Systems with Stochastic P-Calculus: Detecting Abnormal Behaviour in MAS
L. Gardelli, M. Viroli, A. Omicini, Università di Bologna, Cesena, Italy