[agents] LAMAS 2012: Logical Aspects of Multi-Agent Systems, Valencia (Spain), 4/5 June 2012

[Wojtek Jamroga]

[With apologies for multiple copies]

************************************************************************
* 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 at uni.lu . In case of questions, do not hesitate to write.

-- 
Dr. habil. Wojciech Jamroga
Faculty of Science, Technology and Communication
University of Luxembourg
http://icr.uni.lu/wjamroga/