| 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 |