FAMAS 2006: Call for papers

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

Received on Thursday, 9 February 2006 08:17:45 UTC