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)
Second Call for papers
Formal Approaches to Multi-agent Systems (FAMAS'03)
Warsaw, Poland
April 12, 2003
http://www.ai.rug.nl/conf/famas
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 rineke at ai.rug.nl.
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
Proceedings
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 - keplicz at mimuw.edu.pl,
Institute of Informatics, Warsaw University and
Institute of Computer Science, Polish Academy of Sciences
Rineke Verbrugge - rineke at ai.rug.nl
Institute of Artificial Intelligence, University of Groningen
Please note that this newsitem has been archived, and may contain outdated information or links.