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/2003/newsitem/347/12-A pril-2003-Formal-Approaches-to-Multi-agent-Systems -FAMAS-03- DTSTAMP:20021219T000000 SUMMARY:Formal Approaches to Multi-agent Systems ( FAMAS'03) DTSTART;VALUE=DATE:20030412 DTEND;VALUE=DATE:20030412 LOCATION:Warsaw DESCRIPTION:In recent years, multi-agent systems h ave come to form one of the key technologies for s oftware development. This workshop aims at bringin g together researchers from the fields of logic, t heoretical computer science and multi-agent system s in order to discuss formal techniques for specif ying and verifying multi-agent systems. FAMAS'0 3 is affiliated with ETAPS 2003, April 5-13, 2003, Warsaw, Poland For more information, see http: //www.ai.rug.nl/conf/famas or here. *Extended* submission deadline: January 15, 2003. X-ALT-DESC;FMTTYPE=text/html:
In re cent years, multi-agent systems have come to form one of the key technologies for software developme nt. This workshop aims at bringing together resear chers from the fields of logic, theoretical comput er science\n and multi-agent systems in ord er to discuss formal techniques for specifying and verifying multi-agent systems.\n
\n\n FAMAS'03 is affiliated with ETAPS 20 03, April 5-13, 2003, Warsaw, Poland\n
\n \n\n For more information, see http://www.ai.rug.nl/conf/famas\n or here< /a>.\n