G. Steel, A. Bundy and E. Denne Finding Counterexamples to Inductive Conjectures and Attacking Security Protocols, 169
H. Turner and D. Kazakov Stochastic Simulation of Inherited Kinship-Driven Altruism, 183
P. Mathieu, J.-C. Routier and Y. Secq Using Agents to Build a Distributed Calculus Framework, 197
P. Machado, A. Dian and A. Cardoso Learning to Colour Greyscale Images, 209
M. Vala, A. Paiva and M. Rui Gomes From Virtual Bodies to Believable Characters, 219