FAMAS - Formal Approaches to Multi-Agent Systems

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



Submission instructions

Submissions should be written in English, unpublished, and not simultaneously submitted for publication elsewhere. Papers should be formatted according to the Springer LNCS style and not exceed 15 pages. (See the Springer LNCS homepage ) Please send your paper in Postscript (PS) or Portable Document Format (PDF) file to Rineke Verbrugge - rineke@ai.rug.nl.
The submission deadline is January 15th, 2003