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/2006/newsitem/1186/28-
 August-Formal-Approaches-to-Multi-agent-Systems-FA
 MAS-2006-Riva-del-Garda-Italy
DTSTAMP:20060208T000000
SUMMARY:28 August, Formal Approaches to Multi-agen
 t Systems (FAMAS 2006), Riva del Garda, Italy
DTSTART;VALUE=DATE:20060828
DTEND;VALUE=DATE:20060828
LOCATION:Riva del Garda, Italy
DESCRIPTION:In recent years, multi-agent systems h
 ave come to form one of the key technologies for s
 oftware development. The second edition of the FAM
 AS workshop series, after a success of FAMAS'03 af
 filiated to ETAPS'03 in Warsaw, aims at bringing t
 ogether researchers from the fields of logic, theo
 retical computer science and multi-agent systems i
 n order to discuss formal techniques for specifyin
 g and verifying multi-agent systems.    FAMAS'06 i
 s affiliated to ECAI 2006. For more information, s
 ee http://www.mimuw.edu.pl/MAS/FAMAS/  Deadline fo
 r submissions is April 15, 2006.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      In recent years, multi-agent systems have com
 e to form one of the key technologies for software
  development. The second edition of the FAMAS work
 shop series, after a success of FAMAS'03 affiliate
 d to ETAPS'03 in Warsaw, aims at bringing together
  researchers from the fields of logic, theoretical
  computer science and multi-agent systems in order
  to discuss formal techniques for specifying and v
 erifying multi-agent systems.\n      </p>\n    \n 
      <p>\n        FAMAS'06 is affiliated to ECAI 2
 006.\n        \n        For more information, see\
 n        <a target="_blank" href="http://www.mimuw
 .edu.pl/MAS/FAMAS/">http://www.mimuw.edu.pl/MAS/FA
 MAS/</a>\n      </p>\n    </div><div>Deadline for 
 submissions is April 15, 2006.\n        </div>
URL:/NewsandEvents/Archives/2006/newsitem/1186/28-
 August-Formal-Approaches-to-Multi-agent-Systems-FA
 MAS-2006-Riva-del-Garda-Italy
END:VEVENT
END:VCALENDAR