Logic List Mailing Archive
FAMAS'06: Formal Approaches to Multi Agent Systems, Riva del Garda, Italy, August 2006
Call for papers
Formal Approaches to Multi-agent Systems (FAMAS'06)
Riva del Garda, Italy
Monday 28 August 2006
http://www.mimuw.edu.pl/MAS/FAMAS
Affiliated with ECAI 2006, August 28 - September 1, 2006.
Submission deadline: April 15, 2006
------------------------------------------------------------------------
--------------------
Description of FAMAS
--------------------
In recent years, multi-agent systems have come to form one of the key
technologies for software development. The second edition of the
FAMAS workshop series, after a success of FAMAS'03 affiliated to
ETAPS'03 in Warsaw, 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;
* approximate reasoning.
-----------------------
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 Portable Document Format (PDF) to both rineke@ai.rug.nl and
keplicz@mimuw.edu.pl.
After the workshop the best papers will be selected for publishing in
a Special Issue of Fundamenta Informaticae in 2007.
---------------
Important dates
---------------
Saturday 15 April 2006 Submission of papers
Wednesday 10 May 2006 Notification of acceptance
Wednesday 24 May 2006 Camera-ready copies due
Monday 28 August 2006 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'06.
----------------
Invited speaker
----------------
To be announced
------------------
Program committee
------------------
Barbara Dunin-Keplicz, Warsaw University and Polish Academy of
Sciences, Poland (chair)
Rineke Verbrugge, University of Groningen, The Netherlands (chair)
Hans van Ditmarsch, University of Otago, New Zealand
Amal El Fallah-Seghrouchni, University of Paris 6, France
Andreas Herzig, Universite Paul Sabatier, France
Wiebe van der Hoek, University of Liverpool , UK
Wojtek Jamroga, Clausthal University of Technology, Germany
Michael Luck, University of Southampton, UK
John-Jules Meyer, Utrecht University, The Netherlands
Chris Reed, University of Dundee, UK
David Robertson, University of Edinburgh, UK
Jeff Rosenschein, The Hebrew University of Jerusalem, Israel
Onn Shehory, IBM - Haifa Research Labs, Israel
Carles Sierra, IIIA, Spanish Research Council, Spain
-------------------
Workshop organizers
-------------------
Barbara Dunin-Keplicz - keplicz@mimuw.edu.pl
Institute of Informatics, Warsaw University and
Institute of Computer Science, Polish Academy of Sciences
http://www.mimuw.edu.pl/~keplicz/
Rineke Verbrugge - rineke@ai.rug.nl
Institute of Artificial Intelligence, University of Groningen
http://www.ai.rug.nl/~rineke