FAMAS 2007: Final Call for papers - with extended deadline

[Rineke Verbrugge]

-We apologize for multiple copies-
------------------------------------------------------------
Final 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: *extended to Friday 15 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 at ai.rug.nl and 
keplicz at mimuw.edu.pl.

---------------
Important dates
---------------
*Note that for all MALLOW events, the dates have been extended by two 
weeks, as follows:*

Friday 15 June 2007						Submission of papers
Friday 20 July 2007							Notification of acceptance
Friday 3 August 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/ . Registration is 
already open at http://www.dur.ac.uk/durham.agents007/daRegist.php

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
----------------
Four invited lectures will take place in the week of 3-7 September as 
the joint part of MALLOW'007. The invited speakers are:
-Dave Robertson (University of Edinburgh), Monday 3 September;
-Wiebe van der Hoek (University of Liverpool), Tuesday 4 September;
-Munindar Singh (North Carolina State University), Wednesday 5 
September;
-Andrzej Szalas (Linköping University, Warsaw University), Friday 7 
September).

Prof. Andrzej Szalas is the speaker invited by FAMAS. He will present 
new research directions in approximate methods for multi-agent 
environments.

------------------
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 at 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 at ai.rug.nl
Institute of Artificial Intelligence, University of Groningen
http://www.ai.rug.nl/~rineke