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      <p>\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      </p>\n    \n      <p>\n        For m
 ore information, see\n       <a target="_blank" hr
 ef="http://www.win.tue.nl/~evink/lcmas05.html">htt
 p://www.win.tue.nl/~evink/lcmas05.html</a>\n      
 </p>\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