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
\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
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
\n \n\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 http://w ww.win.tue.nl/~evink/lcmas04.html\n
URL:/NewsandEvents/Archives/2004/newsitem/619/16-2 0-August-2004-LCMAS04-Nancy-France END:VEVENT END:VCALENDAR