News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

10 November 2011, 4th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2011), Osuna, Spain

Date: 10 November 2011
Location: Osuna, Spain
Deadline: 15 July 2011

There is a growing interdisciplinary community of researchers and research groups working on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer science, game theory, etc. The LAMAS workshop serves the community as a platform for presentation, exchange, and publication of ideas. This year, LAMAS will be held as a part of the 7th Methods for Modalities conference (M4M-7).

The workshop is intended to cover the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Deductive systems 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.

For more information, see the LAMAS-2011 webpage at http://icr.uni.lu/lamas2011/.

The Programme Committee cordially invites all researchers to submit their papers for presentation. Paper submission deadline: July 15, 2011

Please note that this newsitem has been archived, and may contain outdated information or links.