FAMAS - Formal Approaches to Multi-Agent SystemsWorkshop at 12 april 2003in conjunction with ETAPS 2003, April 5-13, 2003, Warsaw, Poland |
Invited speakers- Wojciech Penczek, Polish Academy of Sciences, Poland- Onn Shehory, IBM Research, Israel |