Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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

9 or 10 May 2016, Logical Aspects of Multi-Agent Systems (LAMAS'16), Singapore

Date: 9 or 10 May 2016
Location: Singapore
Deadline: 1 February 2016

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, and related disciplines. The LAMAS workshop serves the community as a constructive platform for presentation and exchange of ideas.

The workshop is intended to cover, but it is not limited to, the following subjects:
- Logical systems for specification, analysis, and reasoning about MAS
- Modeling MAS with logic-based models
- Logic in game theory
- Logic in social choice theory
- 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

For more information, see http://ii.tudelft.nl/~nils/lamas2016/ or contact the workshop organizers at and .

We will allow three types of submissions to attract a broad audience and to have a mixed bag of contributions: regular papers, system descriptions and extended abstracts. Paper submision deadline is February 1, 2016, with author notification at March 2 and camera-ready deadline on March 10.

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