| Tuesday |
|
|
|
| 07:30 - 09:00 |
Breakfast |
| 09:00 - 10:30 |
Session 1: Formal Methods for Multi-Agent Systems
|
| 10:30 - 11:00 |
Coffee break |
| 11:00 - 12:30 |
Session 2: Development Methodologies for Multi-Agent Systems |
| 12:30 - 14:00 |
Lunch |
| 14:00 - 15:30 |
Session 3: Tools and Techniques for Multi-Agent Systems I |
| 15:30 - 16:00 |
Coffee break |
| 16:00 - 17:30 |
Joint cross-workshop activities |
| 18:30 - 20:00 |
Dinner |
| 20:00 - ... |
College bar |
|
|
|
|
| Wednesday |
|
|
|
| 07:30 - 09:00 |
Breakfast |
| 09:00 - 10:15 |
Invited talk |
| 10:30 - 13:00 |
Garden party |
| 13:00 - 19:00 |
Excursion |
| 19:30 - 22:00 |
Formal dinner |
| 22:00 - ... |
College bar |
|
|
|
|
| Thursday |
|
|
|
| 07:30 - 09:00 |
Breakfast |
| 09:00 - 10:30 |
Session 4: Programming Languages for Multi-Agent Systems |
| 10:30 - 11:00 |
Coffee break |
| 11:00 - 12:30 |
Session 5: Tools and Techniques for Multi-Agent Systems II |
| 12:30 - 14:00 |
Lunch |
| 14:00 - 15:30 |
Session 6: Applications of Multi-Agent Systems |
