FAMAS 2007: Second Call for Papers

[Rineke Verbrugge]

-We apologize for multiple copies-
------------------------------------------------------------
Second 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 at ai.rug.nl and keplicz at 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/ . 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