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 keytechnologies for software development. The fourth edition of the FAMASworkshop series, after the success of FAMAS'03 affiliated with ETAPS?03in Warsaw, FAMAS'06 affiliated with ECAI'06 in Riva del Garda, and FAMAS'007 as part of MALLOW'007 in Durham, aimsat bringing together researchers from the fields of logic, theoreticalcomputer science and multi-agent systems in order to discuss formaltechniques for specifying andverifying 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, originalpapers, which are not being submitted simultaneously for publication elsewhere. Papers should be written in English,formatted accordingto 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 thefollowing address: http://www.michaelshell.org/tex/ieeetran/ Please send your paperin PDF to both rineke@ai.rug.nl andkeplicz@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 MALLOWWorkshops --------------- 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,seehttp://www.springerlink.com/cont ent/m46t38n03854/?p=e8370e8af9314317aca91744 2c589904&pi=0 For the 2009 edition (as for FAMAS?007), authors of selected papers will beinvitedto submit an extended version for a special issue of the Logical Journal of the IGPL. Further details will beannounced at FAMAS'09. ---------------- Venue ---------------- The workshop will be part of MALLOW 2009, hosted by theUniversita degli Studi di Torino. Participants of FAMAS are very welcome tojoin 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 AgentSystems 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 ofSciences, 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 ofSciences, 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 Linkping 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, Universitadi Torino, Italy Matteo Baldoni, Universitadi Torino, Italy Guido Boella, Universitadi Torino, Italy