Saturday 7/4 | |
Modelling dynamic agent systems | |
9.30 9.40 |
Introduction (Dave Robertson) |
9.40 10.00 |
Robert Muetzelfeldt |
10.00 10.20 |
Johanna Moore |
10.20 10.40 |
Marco Dorigo |
10.40 11.00 |
Carles Sierra and Simon Parsons |
11.00 11.30 |
Coffee |
11.30 11.50 |
Model checking multiagent systems
Fausto Guinchiglia |
11.50 13.00 |
Panel and discussion |
13.00 14.30 |
Lunch |
Implementation languages and platforms | |
14.30 14.40 |
Introduction (Dave Robertson) |
14.40 15.00 |
NuMAS: a Symbolic Model
Checker for Multi-Agent Temporal
Logic
Alessandro Cimatti |
15.00 15.00 |
JADE - a middleware for
FIPA-compliant multi-agent
systems
Fabio Bellifemine |
15.20 15.40 |
Wamberto Vasconcelos and Jordi Sabater |
15.40 16.00 |
Context-dependent Coordination
for Engineering Mobile Agent
Applications
Franco Zambonelli |
16.00 16.30 |
Coffee |
16.30 16.50 |
Jeremy Pitt |
16.50 17.10 |
Julian Pagett |
17.10 18.00 |
Panel and discussion |