\n **\n \n \n **

There is a growing interdisciplinary community of resea rchers and\n research groups working on log ical aspects of MAS from the perspectives\n of logic, artificial intelligence, computer scien ce, game theory, etc.\n The LAMAS workshop serves the community as a platform for presentatio n,\n exchange, and publication of ideas. Th is year, LAMAS will be held as a\n part of the 7th Methods for Modalities conference (M4M-7). \n

\nThe workshop is intended to
cover the following subjects:

\n - Log
ical systems for specification, analysis, and reas
oning about MAS

\n - Modeling MAS with
logic-based models

\n - Deductive syste
ms for logics for MAS

\n - Development,
complexity analysis, and implementation of algori
thmic\n methods for formal verification
of MAS

\n - Logic-based tools for MAS**\n - Applications of logics in MAS.\n
**

For more informati on, see\n the LAMAS-2011 webpage at ht tp://icr.uni.lu/lamas2011/.\n

\n < /div>\n

URL:/NewsandEvents/Archives/2011/newsitem/3809/10-
November-2011-4th-Workshop-on-Logical-Aspects-of-M
ulti-Agent-Systems-LAMAS-2011-Osuna-Spain
END:VEVENT
END:VCALENDAR
\n The Programme Commi ttee cordially invites all researchers\n to submit their\n papers for presentation.\n Paper submission deadline: July 15, 2011\n

\n