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:<div>\n      <p>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      </p>\n     
  <p>\n        FAMAS'03 is affiliated with ETAPS 20
 03, April 5-13, 2003, Warsaw, Poland\n      </p>\n
     \n      <p>\n        For more information, see
  <a target="_blank" href="http://www.ai.rug.nl/con
 f/famas">http://www.ai.rug.nl/conf/famas</a>\n    
     or <a class="longdescriptionlink" href="https:
 //www.illc.uva.nl/NewsandEvents/newsitem/347">here
 </a>.\n      </p>\n    </div><div>\n        *Exten
 ded* submission deadline: January 15, 2003. </div>
URL:/NewsandEvents/Archives/2003/newsitem/347/12-A
 pril-2003-Formal-Approaches-to-Multi-agent-Systems
 -FAMAS-03-
END:VEVENT
END:VCALENDAR