Print Shortlink

CfP: LAMAS 2012: 5th Workshop on Logical Aspects of Multi-Agent Systems


LAMAS 2012: 5TH WORKSHOP ON LOGICAL ASPECTS OF MULTI-AGENT SYSTEMS
Satellite workshop of AAMAS 2012, June 4 or 5, 2012, Valencia, Spain

website: http://icr.uni.lu/lamas2012/

FIRST CALL FOR PAPERS

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)
Authors 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
Thomas Bolander, Technical University of Denmark
Nils Bulling, Clausthal University of Technology
Juergen Dix, Clausthal University of Technology
Valentin Goranko, Technical University of Denmark
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

ORGANIZATION AND CONTACT:
The workshop is organized by Valentin Goranko, Technical University of Denmark, and Wojtek Jamroga, University of Luxembourg. Contact email: lamas@uni.lu .

|