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/2005/newsitem/836/31-J uly-or-1-August-1-2005-LCMAS-2005-3rd-Internationa l-Workshop-on-Logic-and-communication-in-MultiAgen t-Systems DTSTAMP:20050113T000000 SUMMARY:31 July or 1 August 1 2005, LCMAS 2005\t3r d International Workshop on Logic and communicatio n in MultiAgent Systems DTSTART;VALUE=DATE:20050731 DTEND;VALUE=DATE:20050801 DESCRIPTION:The third edition of the LCMAS worksho p series aims at bringing together researchers int erested in topics related to the use of formal too ls when applied to modelling, specifying, verifyin g, and reasoning about multi-agent systems in whic h communication and updating play a crucial role. Specifically, the workshop aims at providing a for um for discussing technical issues arising in the use of formalisms epistemic, temporal, dynamic and authentication logics, and related techniques) in spired by the needs of modelling information excha nges in multi-agent systems. The workshop will be held as a satellite workshop of IJCAI05, the 19-th edition of the biannual international joint confe rence on Artificial Intelligence. Previous edition s of the workshop were held in Eindhoven in 2003 ( as satellite workshop of ICALP), and in Nancy in 2 004 (as satellite workshop of ESSLLI). Papers from the workshops were published in both occasions in the ENTCS series. For more information, see ht tp://www.win.tue.nl/~evink/lcmas05.html X-ALT-DESC;FMTTYPE=text/html:\n
\n The third edition of the LCMAS workshop series aim s at bringing together researchers interested in t opics related to the use of formal tools when appl ied to modelling, specifying, verifying, and reaso ning about multi-agent systems in which communicat ion and updating play a crucial role. Specifically , the workshop aims at providing a forum for discu ssing technical issues arising in the use of forma lisms epistemic, temporal, dynamic and authenticat ion logics, and related techniques) inspired by th e needs of modelling information exchanges in mult i-agent systems. The workshop will be held as a sa tellite workshop of IJCAI05, the 19-th edition of the biannual international joint conference on Art ificial Intelligence. Previous editions of the wor kshop were held in Eindhoven in 2003 (as satellite workshop of ICALP), and in Nancy in 2004 (as sate llite workshop of ESSLLI). Papers from the worksho ps were published in both occasions in the ENTCS s eries.\n
\n \n\n For m ore information, see\n htt p://www.win.tue.nl/~evink/lcmas05.html\n
URL:/NewsandEvents/Archives/2005/newsitem/836/31-J uly-or-1-August-1-2005-LCMAS-2005-3rd-Internationa l-Workshop-on-Logic-and-communication-in-MultiAgen t-Systems END:VEVENT END:VCALENDAR