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/2004/newsitem/662/9-10
 -August-2004-Canceled-LAMAS-2-Second-Australasian-
 Workshop-on-Logic-and-Multiagent-Systems-
DTSTAMP:20040312T000000
SUMMARY:Canceled: LAMAS 2 (Second Australasian Wor
 kshop on Logic and Multiagent Systems)
DTSTART;VALUE=DATE:20040809
DTEND;VALUE=DATE:20040810
LOCATION:Sheraton Auckland Hotel, Auckland, New Ze
 aland
DESCRIPTION:LAMAS 2 is one the workshops associate
 d with the eighth Pacific Rim International Confer
 ence on Artificial Intelligence ( PRICAI ). It is 
 a follow-up workshop to a previous workshop on log
 ic and multiagent Systems ( LAMAS ) held at the Un
 iversity of Otago in October 2002. The workshop ai
 ms to provide a forum to foster lively and fruitfu
 l discussion on issues involved in logic and multi
 agent systems.    The LAMAS2 organizers are Hans v
 an Ditmarsch, Stephen Cranefield, Thomas Meyer, an
 d Guido Governatori. The submission deadline is 15
  May 2004. Particular topics of interest are: (1) 
 Specification, verification, and synthesis of mult
 iagent systems (2) Belief revision, belief merging
 , and dynamic epistemic logics (3) Protocols conce
 rning commitment and negotiation (4) Logics of ins
 titutional agency (5) Non-monotonic reasoning, aut
 omated reasoning, and model checking.    For more 
 information, see http://www.cs.otago.ac.nz/lamas2/
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\nLAMAS 2 
 is one the workshops associated with the eighth Pa
 cific Rim International Conference on Artificial I
 ntelligence ( PRICAI ).\nIt is a follow-up worksho
 p to a previous workshop on logic and multiagent S
 ystems ( LAMAS ) held at the University of Otago i
 n October 2002.\nThe workshop aims to provide a fo
 rum to foster lively and fruitful discussion on is
 sues involved in logic and multiagent systems.\n  
     </p>\n      <p>\n        The LAMAS2 organizers
  are Hans van Ditmarsch, Stephen Cranefield, Thoma
 s Meyer, and Guido Governatori. The submission dea
 dline is 15 May 2004. Particular topics of interes
 t are: (1) Specification, verification, and synthe
 sis of multiagent systems (2) Belief revision, bel
 ief merging, and dynamic epistemic logics (3) Prot
 ocols concerning commitment and negotiation (4) Lo
 gics of institutional agency (5) Non-monotonic rea
 soning, automated reasoning, and model checking.\n
       </p>\n    \n      <p>\n        For more info
 rmation, see <a target="_blank" href="http://www.c
 s.otago.ac.nz/lamas2/">http://www.cs.otago.ac.nz/l
 amas2/</a>\n      </p>\n    
URL:/NewsandEvents/Archives/2004/newsitem/662/9-10
 -August-2004-Canceled-LAMAS-2-Second-Australasian-
 Workshop-on-Logic-and-Multiagent-Systems-
END:VEVENT
END:VCALENDAR