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:
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.
\nParticular to
pics of interest are:
\n 1. Specifica
tion, verification, and synthesis of\n
multiagent systems
\n 2. Description
logics
\n 3. Relation between tempora
l and dynamic logics
\n 4. Automated
reasoning and model checking
\n 5. Se
curity protocols
\n 6. Models of peer
-to-peer networking
\n 7. Intelligent
databases (with multiagent aspects)
\n
8. Models of electronic institutions and contra
cts\n
For more i nformation, see\n http://www.cs.otago.ac.nz/staffpriv/hans/lamas 2.html\n
We sol icit one page abstracts presenting advances in any area of relevance\n to the workshop themes .\n Submission deadline is 1 December 2006. \n
\n