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:<div>\n      <p>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      </p>\n      <p>The workshop is intended to
  cover the following subjects:<br/>\n        - Log
 ical systems for specification, analysis, and reas
 oning about MAS<br/>\n        - Modeling MAS with 
 logic-based models<br/>\n        - Deductive syste
 ms for logics for MAS<br/>\n        - Development,
  complexity analysis, and implementation of algori
 thmic\n           methods for formal verification 
 of MAS<br/>\n        - Logic-based tools for MAS<b
 r/>\n        - Applications of logics in MAS.\n   
    </p>\n    \n      \n      <p>For more informati
 on, see\n        the LAMAS-2011 webpage at <a targ
 et="_blank" href="http://icr.uni.lu/lamas2011/">ht
 tp://icr.uni.lu/lamas2011/</a>.\n      </p>\n    <
 /div><div>\n      <p>\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 
      </p>\n      </div>
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