BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2011/newsitem/3809/10- November-2011-4th-Workshop-on-Logical-Aspects-of-M ulti-Agent-Systems-LAMAS-2011-Osuna-Spain DTSTAMP:20110220T000000 SUMMARY:4th Workshop on Logical Aspects of Multi-A gent Systems (LAMAS 2011), Osuna, Spain DTSTART;VALUE=DATE:20111110 DTEND;VALUE=DATE:20111110 LOCATION:Osuna, Spain DESCRIPTION:There is a growing interdisciplinary c ommunity of researchers and research groups workin g on logical aspects of MAS from the perspectives of logic, artificial intelligence, computer scienc e, game theory, etc. The LAMAS workshop serves the community as a platform for presentation, exchang e, and publication of ideas. This year, LAMAS will be held as a part of the 7th Methods for Modaliti es conference (M4M-7). The workshop is intended to cover the following subjects: - Logical system s for specification, analysis, and reasoning about MAS - Modeling MAS with logic-based models - De ductive systems for logics for MAS - Development, complexity analysis, and implementation of algori thmic methods for formal verification of MAS - Lo gic-based tools for MAS - Applications of logics in MAS. For more information, see the LAMAS-2011 webpage at http://icr.uni.lu/lamas2011/. The P rogramme Committee cordially invites all researche rs to submit their papers for presentation. Paper submission deadline: July 15, 2011 X-ALT-DESC;FMTTYPE=text/html:
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 The Programme Committee c ordially invites all researchers\n to submi t their\n papers for presentation.\n Paper submission deadline: July 15, 2011\n < /p>\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