Logical Aspects of Multi-Agent Systems (LAMAS 2012): 2nd CfP

[Wojtek Jamroga]

************************************************************************
* LAMAS 2012: 5TH WORKSHOP ON LOGICAL ASPECTS OF MULTI-AGENT SYSTEMS   *
*   Satellite workshop of AAMAS 2012, June 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 5, 2012


PROGRAM COMMITTEE:

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, University of Warsaw
Valentin Goranko, Technical University of Denmark
Andreas Herzig, University of 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 , Universidad Politécnica de Madrid


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 .

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