Logic List Mailing Archive

FAMAS 06: Formal Approaches to Multi-Agent Systems (FAMAS 06), Riva del Garda (Italy), August 2006, deadline: April 15

-We apologize for multiple copies-
------------------------------------------------------------------------
Second 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