7-11 Sep 2009
Torino, Italy
Dear colleague, You are very welcome to contribute your new work to FAMAS'09.� Hoping to see you in Torino in September! And please feel free to distribute this Call for Papers among your colleagues and students. Best wishes, Barbara Dunin-Keplica and Rineke Verbrugge ---------------------------- ------------------------------------------------------------ CALL FOR PAPERS ------------------------------------------------------------ Formal Approaches to Multi-Agent Systems (FAMAS'09) Torino, Italy, two days in the week of 7-11 September 2009 http://www.mimuw.edu.pl/MAS/FAMAS2009/ Part of MALLOW 2009,� Multi-Agent Logics, Languages, and Organisations Federated Workshops, 7-11 September 2009 http://agents009.di.unito.it/MALLOW.html Submission deadline: Saturday 6 June 2009 -------------------------------------------------------------- ----------------------------- Description of FAMAS ----------------------------- In recent years, multi-agent systems have come to form one of the key�technologies for software development. The fourth edition of the FAMAS�workshop series, after the success of FAMAS'03 affiliated with ETAPS?03�in Warsaw, FAMAS'06 affiliated with ECAI'06 in Riva del Garda, and FAMAS'007 as part of MALLOW'007 in Durham, 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 *approximate reasoning in a multi-agent environment � ----------------------------- Submission instructions ----------------------------- We welcome and encourage the submission of high-quality, original�papers, which are not being submitted simultaneously for publication elsewhere. Papers should be written in English,�formatted according�to IEEEtran style file for papers, and should not exceed the limit of 10 pages (two-column style). You can find styles for LaTeX, BibTeX and documentations at the�following address: http://www.michaelshell.org/tex/ieeetran/ Please send your paper�in PDF to both rineke@ai.rug.nl and�keplicz@mimuw.edu.pl. ------------------- Important dates ------------------- Saturday 6 June 2009����������� ������� ���� Submission of papers Wednesday 1 July 2009����������� Notification of acce ptance Wednesday 15 July 2009����������� Camera-ready copies due 7-11 September 2009����������� ������� ���� MALLOW�Workshops � --------------- 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.�A special issue of JAAMAS recently appeared with new versions of the best papers of FAMAS'06, namely volume 19 (1), 2009,see�http://www.springerlink.com/cont ent/m46t38n03854/?p=e8370e8af9314317aca91744 2c589904&pi=0 � For the 2009 edition (as for FAMAS?007), authors of selected papers will be�invited�to submit an extended version for a special issue of the Logical Journal of the IGPL. Further details will be�announced at FAMAS'09. � ---------------- Venue ---------------- The workshop will be part of MALLOW 2009, hosted by the�Universita degli Studi di Torino. Participants of FAMAS� are very welcome to�join the co-located workshops. For more details of the MALLOW location,�please see� http://agents009.di.unito.it/location.html � MALLOW 2009 is preceded by this year's edition of the European Agent�Systems Summer School, taking place 31 August- 4 September 2009, also in Turin, see http://agents009.di.unito.it/EASSS.html � After MALLOW, IAT'09 will take place in Milan on 15-18 September, see� http://www.wi-iat09.disco.unimib.it/IAT09/IAThome.htm � -------------------- Invited speakers -------------------- Joint invited lectures of MALLOW 2009 will be announced later. � ------------------------ 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 Aberdeen, UK 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 John-Jules Meyer, Utrecht University, The Netherlands Wojciech Penczek,�Polish Academy of�Sciences, Poland 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 Andrzej Szalas, University of Warsaw, Poland, and Link�ping University, Sweden � -------------------------- 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 � ---------------------------------- MALLOW 2009 organizers ---------------------------------- Cristina Baroglio, Universita�di Torino, Italy Matteo Baldoni, Universita�di Torino, Italy Guido Boella, Universita�di Torino, Italy