Session 1: Invited lectures |
9.00-9.45: | W. Penczek, Bounded versus unbounded model
checking for interpreted systems |
9.45-10.30: | O. Shehory, Coalition formation: towards feasible
solutions |
|
10.30-11.00: | coffee break
|
|
Session 2: Teamwork |
11.00-11.30: | H. Aldewereld, W. van der Hoek and J-J.
Meyer, Rational teams: logical aspects of MAS
|
11.30-12.00: | B. Dunin-Keplicz and R. Verbrugge, A tuning
machine forcollective commitments |
12-12.30: | I. Degirmenciyan-Cartault, F. Marc and A. El
Fallah-Seghrouchni, Modeling multi-agent plans
with hybrid automata |
|
12.30-14.00 | lunch break |
|
Session 3: Verification and dynamical aspects |
14.00-14.30: | R. Bharadwaj, A framework for the formal
analysis of MAS |
14.30-15.00: | W. Jamroga, Some remarks on alternating
temporal epistemic logic |
15.00-15.10: | W. van der Hoek, Formal comment on W. Jamroga's
paper |
15.10-15.40: | H.W. de Haan, W. Hesselink and G. Renardel de
Lavalette, Knowledge-based asynchronous
programming inspired by a hardware leader
election problem |
15.40-16.10: | M. Wolski, Change in non-flat MAS |
|
16.10-16.30 | tea break |
|
Session 4: Communication and mental states |
16.30-17.00: | P. Doherty, W. Lukaszewicz and A. Szalas,
On mutual understanding among communicating
agents |
17.00-17.30: | M. Kacprzak, A complete axiomatization of
multi-agent logic |
17.30-18.00: | M. Alberti,A. Ciampolini, M. Gavanelli, E. Lamma,
P. Mello and P. Torroni, Logic Based Semantics
for an agent communication language. |