Program of MMAABS

  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