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/2015/newsitem/7084/9-o
 r-10-May-2016-Logical-Aspects-of-Multi-Agent-Syste
 ms-LAMAS-16-Singapore
DTSTAMP:20151203T000000
SUMMARY:9 or 10 May 2016, Logical Aspects of Multi
 -Agent Systems (LAMAS'16), Singapore
DTSTART;VALUE=DATE:20151202
DTEND;VALUE=DATE:20160509
LOCATION:Singapore
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, and related disciplines. The LAMAS
  workshop serves the community as a constructive p
 latform for presentation and exchange of ideas.  T
 he workshop is intended to cover, but it is not li
 mited to, the following subjects:  - Logical syste
 ms for specification, analysis, and reasoning abou
 t MAS  - Modeling MAS with logic-based models  - L
 ogic in game theory  - Logic in social choice theo
 ry  - Deductive systems and decision procedures fo
 r logics for MAS  - Development, complexity analys
 is, and implementation of algorithmic methods for 
 formal verification of MAS  - Logic-based tools fo
 r MAS  - Applications of logics in MAS  For more i
 nformation, see http://ii.tudelft.nl/~nils/lamas20
 16/ or contact the workshop organizers at n.bullin
 g at tudelft.nl and d.grossi at liverpool.ac.uk.  
 We will allow three types of submissions to attrac
 t a broad audience and to have a mixed bag of cont
 ributions: regular papers, system descriptions and
  extended abstracts. Paper submision deadline is F
 ebruary 1, 2016, with author notification at March
  2 and camera-ready deadline on March 10.
X-ALT-DESC;FMTTYPE=text/html:<div>\n        <p>The
 re is a growing interdisciplinary community of res
 earchers and research groups working on logical as
 pects of MAS from the perspectives of logic, artif
 icial intelligence, computer science, game theory,
  and related disciplines. The LAMAS workshop serve
 s the community as a constructive platform for pre
 sentation and exchange of ideas.</p>\n        <p>T
 he workshop is intended to cover, but it is not li
 mited to, the following subjects:<br/>\n        - 
 Logical systems for specification, analysis, and r
 easoning about MAS<br/>\n        - Modeling MAS wi
 th logic-based models<br/>\n        - Logic in gam
 e theory<br/>\n        - Logic in social choice th
 eory<br/>\n        - Deductive systems and decisio
 n procedures for logics for MAS<br/>\n        - De
 velopment, complexity analysis, and implementation
  of algorithmic methods for formal verification of
  MAS<br/>\n        - Logic-based tools for MAS<br/
 >\n        - Applications of logics in MAS</p>\n  
   \n      \n        <p>For more information, see <
 a target="_blank" href="http://ii.tudelft.nl/~nils
 /lamas2016/">http://ii.tudelft.nl/~nils/lamas2016/
 </a> or contact the workshop organizers at <a clas
 s="email">n.bulling <span class="at">at</span> tud
 elft.nl</a> and <a class="email">d.grossi <span cl
 ass="at">at</span> liverpool.ac.uk</a>.</p>\n    <
 /div><div>\n        <p>We will allow three types o
 f submissions to attract a broad audience and to h
 ave a mixed bag of contributions: regular papers, 
 system descriptions and extended abstracts. Paper 
 submision deadline is February 1, 2016, with autho
 r notification at March 2 and camera-ready deadlin
 e on March 10.</p>\n      </div>
URL:/NewsandEvents/Archives/2015/newsitem/7084/9-o
 r-10-May-2016-Logical-Aspects-of-Multi-Agent-Syste
 ms-LAMAS-16-Singapore
END:VEVENT
END:VCALENDAR