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
\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
\n\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
\n \n\n For more info rmation, see http://www.cs.otago.ac.nz/l amas2/\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