FAMAS - Formal Approaches to Multi-Agent Systems

Workshop at 12 april 2003
in conjunction with ETAPS 2003,
April 5-13, 2003, Warsaw, Poland



Program

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.