Universiteit van Amsterdam


Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

12 April 2003, Formal Approaches to Multi-agent Systems (FAMAS'03)

Date: Saturday 12 April 2003
Location: Warsaw
Deadline: 15 January 2003

Second Call for papers

Formal Approaches to Multi-agent Systems (FAMAS'03)

Warsaw, Poland
April 12, 2003

Affiliated with ETAPS 2003, April 5-13, 2003, Warsaw, Poland

*Extended* submission deadline: January 15, 2003

In recent years, multi-agent systems have come to form one of the key technologies for software development. This workshop aims at bringing together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems. Suggested, but not exclusive, topics of interest for the workshop are:

  • (modal) logics for multi-agent systems,
  • formal methods for verification of multi-agent systems, e.g. model checking,
  • formal approaches to cooperation and multi-agent planning,
  • formal approaches to communication, coordination and negotiation,
  • formal analysis of games,
  • reasoning with uncertainty in a distributed environment.

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: http://www.springer.de/comp/lncs/authors.html ) Please send your paper in Postscript (PS) or Portable Document Format (PDF) file to .

Important dates

Wednesday 15 January 2003 Submission of papers
Wednesday 5 February 2003 Notification of acceptance
Monday 17 February 2003 Camera-ready copies due
Saturday 12 April 2003 FAMAS Workshop


Informal workshop proceedings will be available at the workshop. Authors of selected papers will be invited to submit an extended version of approximately 20 to 30 pages for a special issue of Fundamenta Informaticae devoted to "Formal Approaches to Multi-agent Systems". Further details will be announced at FAMAS'03.

Invited speakers

Wojciech Penczek, Polish Academy of Sciences, Poland Onn Shehory, IBM Research, Israel

Program committee

Barbara Dunin-Keplicz, Warsaw University and Polish Academy of Sciences, Poland
Amal El Fallah-Seghrouchni, University of Paris 13, France
Wiebe van der Hoek, University of Liverpool , UK
Michael Luck, University of Southampton, UK
Wojciech Penczek, Polish Academy of Sciences, Poland
David Robertson, University of Edinburgh, UK
Carles Sierra, Spanish Research Council, Spain
Rineke Verbrugge, University of Groningen, The Netherlands
Michael Wooldridge, University of Liverpool, UK

Workshop organizers

Barbara Dunin-Keplicz - , Institute of Informatics, Warsaw University and Institute of Computer Science, Polish Academy of Sciences
Rineke Verbrugge - Institute of Artificial Intelligence, University of Groningen

Please note that this newsitem has been archived, and may contain outdated information or links.