Proceedings
(A text-only version is also available.)LAMAS 2012:
5th Workshop on Logical Aspects of Multi-Agent Systems
Satellite workshop of AAMAS 2012
June 5, 2012, Valencia, Spain
http://icr.uni.lu/lamas2012/
Objectives and topics of the workshop
LAMAS is a scientific network spanning an interdisciplinary community of researchers working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop is the pivotal event of the network and it provides a platform for presentation, exchange, and publication of ideas in all these areas, including:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Deductive systems and decision procedures for logics for MAS
- Development, complexity analysis, and implementation of algorithmic methods for formal verification of MAS
- Logic-based tools for MAS
- Applications of logics in MAS
Submissions
Authors are invited to submit papers in the following three categories:
- Regular papers of 10 to 15 pages, describing original unpublished research. Position papers and reports of advanced work in progress can also be submitted in this category.
- System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones.
- Extended abstracts of 2 to 5 pages reporting relevant work in progress or work that has been published or accepted for publication in the last 12 months.
Submissions should be anonymous, subject to double-blind reviewing procedure. They must be in pdf and prepared according to the Springer LNCS format. For templates and instructions for authors, see http://www.springer.de/comp/lncs/authors.html. The submission site is http://www.easychair.org/conferences/?conf=lamas2012.
All the accepted papers will appear in the informal workshop proceedings produced together with the AAMAS proceedings. Furthermore, post-proceedings of LAMAS’2012 are envisaged (as a journal special issue or a Springer LNCS/FoLLI sub-series volume) if the amount of quality submissions is sufficient.
Invited speakers
- Wiebe van der Hoek, University of Liverpool
- Alessio Lomuscio, Imperial College London
Important dates
| Paper submission: | March 10, 2012 (firm deadline, no extensions) |
| Author notification: | April 5, 2012 |
| Camera-ready deadline: | April 15, 2012 |
| Workshop: | June 4 or 5, 2012 (date yet to be fixed by the AAMAS organizers) |
Program committee
(more PC members are expected to join soon)
- Thomas Agotnes, University of Bergen
- Natasha Alechina, University of Nottingham
- Thomas Bolander, Technical University of Denmark
- Nils Bulling, Clausthal University of Technology
- Hans van Ditmarsch, University of Sevilla
- Juergen Dix, Clausthal University of Technology
- Barbara Dunin-Keplicz, Warsaw University and Polish Academy of Sciences, Warsaw
- Valentin Goranko, Technical University of Denmark
- Andreas Herzig, Institut de Recherche en Informatique de Toulouse
- Wojtek Jamroga, University of Luxembourg
- Joao Leite, New University of Lisbon
- Alessio Lomuscio, Imperial College London
- John-Jules Meyer, Utrecht University
- Wojciech Penczek, Polish Academy of Sciences, Warsaw
- Ram Ramanujam, IMSc Chennai
- Dirk Walther, University of Liverpool
Organization and contact
The workshop is organized by Valentin Goranko, Technical University of Denmark, and Wojtek Jamroga, University of Luxembourg. Contact email: . In case of questions, do not hesitate to write.