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/619/16-2
 0-August-2004-LCMAS04-Nancy-France
DTSTAMP:20040131T000000
SUMMARY:LCMAS04, Nancy, France
DTSTART;VALUE=DATE:20040816
DTEND;VALUE=DATE:20040820
LOCATION:Nancy, France
DESCRIPTION:The workshop, this year in its second 
 edition, aims at bringing together graduate studen
 ts and researchers interested in topics related to
  the use of formal tools when applied to modelling
 , specifying, verifying, and reasoning about multi
 -agent systems in which communication and updating
  play a crucial role. Specifically, the workshop a
 ims at providing a forum for discussing technical 
 issues that arise with formalisms (epistemic, temp
 oral, dynamic and authentication logics and tools)
  inspired by the needs of modelling information ex
 changes in multi-agent systems.   The workshop wil
 l be held within the context of ESSLLI04, the 2004
  edition of the European Summer School on Logic La
 nguage and Computation, to be held in Nancy in Aug
 ust 2004.    Those wishing to participate in the w
 orkshop are invited to submit an original research
  paper, at or before March 15, 2004. For more info
 rmation, see http://www.win.tue.nl/~evink/lcmas04.
 html
X-ALT-DESC;FMTTYPE=text/html:\n      <p>\n        
 The workshop, this year in its second edition, aim
 s at bringing\n        together graduate students 
 and researchers interested in topics\n        rela
 ted to the use of formal tools when applied to mod
 elling,\n        specifying, verifying, and reason
 ing about multi-agent systems in\n        which co
 mmunication and updating play a crucial role. Spec
 ifically,\n        the workshop aims at providing 
 a forum for discussing technical issues\n        t
 hat arise with formalisms (epistemic, temporal, dy
 namic and\n        authentication logics and tools
 ) inspired by the needs of modelling\n        info
 rmation exchanges in multi-agent systems.\n      <
 /p>\n      <p>The workshop will be held within the
  context of ESSLLI04, the 2004\n        edition of
  the European Summer School on Logic Language and\
 n        Computation, to be held in Nancy in Augus
 t 2004.\n      </p>\n    \n      <p>\n        Thos
 e wishing to participate in the workshop are invit
 ed to submit an\n        original research paper, 
 at or before March 15, 2004.\n        For more inf
 ormation, see \n        <a target="_blank" href="h
 ttp://www.win.tue.nl/~evink/lcmas04.html">http://w
 ww.win.tue.nl/~evink/lcmas04.html</a>\n      </p>\
 n    
URL:/NewsandEvents/Archives/2004/newsitem/619/16-2
 0-August-2004-LCMAS04-Nancy-France
END:VEVENT
END:VCALENDAR