Logic List Mailing Archive
Formal Approaches to Multi-agent Systems (FAMAS 07), Durham (U.K.), 6-7 Sep 2007
Call for papers
Formal Approaches to Multi-agent Systems (FAMAS'007)
Durham, UK
Thursday and Friday 6 and 7 September, 2007
http://www.mimuw.edu.pl/MAS/FAMAS007/
Part of MALLOW'007, 3-7 September, 2007
Submission deadline: Friday 1 June, 2007
--------------------------------------------------------------
--------------------
Description of FAMAS
--------------------
In recent years, multi-agent systems have come to form one of the key
technologies for software development. The third edition of the FAMAS
workshop series, after the success of FAMAS'03 affiliated to ETAPS'03
in Warsaw and FAMAS'06 affiliated with ECAI'06 in Riva del Garda, 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:
* logics for multi-agent systems;
* formal methods for verification of multi-agent systems;
* formal models of teamwork
* formal approaches to communication, coordination and negotiation;
* logical analysis of games;
* computational social choice
* logical approaches to protocols ensuring privacy and security;
* reasoning with uncertainty in a distributed environment;
* approximate reasoning in a multi-agent 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 Portable Document Format (PDF) to both rineke@ai.rug.nl and
keplicz@mimuw.edu.pl.
---------------
Important dates
---------------
Friday 1 June 2007 Submission of papers
Friday 6 July 2007 Notification of acceptance
Friday 20 July 2007 Camera-ready copies due
Thursday and Friday 6-7 September 2007 FAMAS Workshop
-----------
Proceedings
-----------
Informal workshop proceedings will be available at the workshop.
A special issue of Fundamenta Informaticae, namely vol. 63 (2-3), 2004,
collected new versions of the best papers of FAMAS'03. In 2008, a
special issue of JAAMAS will come out that includes extended versions
of the best papers of FAMAS'06.
For the 2007 edition as well, authors of selected papers will be
invited to submit an extended version of approximately 20 to 30 pages
for a special issue of an appropriate journal. Further details will be
announced at FAMAS'007.
----------------
Venue
----------------
The workshop will be part of this year's Multi-Agent Logics, Languages,
and Organisations federated Workshops, MALLOW'007 hosted by the
Department of Computer Science and St. Chad's College, University of
Durham, U.K. Participants in the FAMAS workshop are urged to
participate in the co-located workshops. For more details of MALLOW,
please see http://www.dur.ac.uk/durham.agents007/MALLOW007/
MALLOW'007 is preceded by this year's edition of the European Agent
Systems Summer School in Durham, taking place 27-31 August 2007, see
http://www.dur.ac.uk/durham.agents007/EASSS07/
The MALLOW'007 format will allow us to host a two-day meeting with
longer presentations that have not been feasible in previous editions
of FAMAS.
----------------
Invited speakers
----------------
Three invited lectures will take place in the week of 3-7 September as
the joint part of MALLOW'007, the Multi-Agent Logics, Languages and
Organizations Federated Workshops, see
http://www.dur.ac.uk/durham.agents007/MALLOW007/
------------------
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
Tim Norman, University of Aberdeen, 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