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/2007/newsitem/1587/15-
 16-February-2007-Logic-and-Multi-Agent-Systems-LAM
 AS-Otago-New-Zealand
DTSTAMP:20061102T000000
SUMMARY:Logic and Multi-Agent Systems (LAMAS), Ota
 go, New Zealand
DTSTART;VALUE=DATE:20070215
DTEND;VALUE=DATE:20070216
LOCATION:Otago, New Zealand
DESCRIPTION:The workshop Logic and Multi-Agent Sys
 tems aims to provide a forum to foster lively and 
 fruitful discussion on issues involved in logic an
 d multiagent systems.  Particular topics of intere
 st are:  1. Specification, verification, and synth
 esis of multiagent systems  2. Description logics 
  3. Relation between temporal and dynamic logics  
 4. Automated reasoning and model checking  5. Secu
 rity protocols  6. Models of peer-to-peer networki
 ng  7. Intelligent databases (with multiagent aspe
 cts)  8. Models of electronic institutions and con
 tracts   For more information, see http://www.cs.o
 tago.ac.nz/staffpriv/hans/lamas2.html  We solicit 
 one page abstracts presenting advances in any area
  of relevance to the workshop themes. Submission d
 eadline is 1 December 2006.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The w
 orkshop Logic and Multi-Agent Systems aims to prov
 ide a forum to\n        foster lively and fruitful
  discussion on issues involved in logic and\n     
    multiagent systems.</p>\n      <p>Particular to
 pics of interest are:<br />\n         1. Specifica
 tion, verification, and synthesis of\n            
 multiagent systems<br />\n         2. Description 
 logics<br />\n         3. Relation between tempora
 l and dynamic logics<br />\n         4. Automated 
 reasoning and model checking<br />\n         5. Se
 curity protocols<br />\n         6. Models of peer
 -to-peer networking<br />\n         7. Intelligent
  databases (with multiagent aspects)<br />\n      
    8. Models of electronic institutions and contra
 cts\n      </p>\n    \n      \n      <p>For more i
 nformation, see\n        <a target="_blank" href="
 http://www.cs.otago.ac.nz/staffpriv/hans/lamas2.ht
 ml">http://www.cs.otago.ac.nz/staffpriv/hans/lamas
 2.html</a>\n      </p>\n    </div><div>\n      <p>
 We solicit one page abstracts presenting advances 
 in any area of relevance\n        to the workshop 
 themes.\n        Submission deadline is 1 December
  2006.\n      </p>\n      </div>
URL:/NewsandEvents/Archives/2007/newsitem/1587/15-
 16-February-2007-Logic-and-Multi-Agent-Systems-LAM
 AS-Otago-New-Zealand
END:VEVENT
END:VCALENDAR