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/2009/newsitem/2867/7-1
 1-September-2009-FAMAS09-Formal-Approaches-to-Mult
 i-Agent-Systems-Torino-Italy
DTSTAMP:20090510T000000
SUMMARY:FAMAS09: Formal Approaches to Multi-Agent 
 Systems, Torino, Italy
DTSTART;VALUE=DATE:20090907
DTEND;VALUE=DATE:20090911
LOCATION:Torino, Italy
DESCRIPTION:In recent years, multi-agent systems h
 ave come to form one of the key technologies for s
 oftware development. Part of MALLOW 2009, the four
 th edition of the FAMAS workshop series aims at br
 inging together researchers from the fields of log
 ic, theoretical computer science and multi-agent s
 ystems in order to discuss formal techniques for s
 pecifying and verifying multi-agent systems.   For
  more information, see http://www.mimuw.edu.pl/MAS
 /FAMAS2009/   We welcome and encourage the submiss
 ion of high-quality, original papers, which are no
 t being submitted simultaneously for publication e
 lsewhere. Submission deadline: Saturday 6 June 200
 9.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      In recent years, multi-agent systems have com
 e to form one of the\n        key technologies for
  software development. Part of MALLOW 2009,\n     
    the fourth edition of the\n        FAMAS worksh
 op series aims at bringing together\n        resea
 rchers from the fields of logic, theoretical compu
 ter science and\n        multi-agent systems in or
 der to discuss formal techniques for specifying\n 
        and verifying multi-agent systems.\n      <
 /p>\n    \n      \n      <p>For more information, 
 see\n        <a target="_blank" href="http://www.m
 imuw.edu.pl/MAS/FAMAS2009/">http://www.mimuw.edu.p
 l/MAS/FAMAS2009/</a>\n      </p>\n    </div><div>\
 n      <p>\n        We welcome and encourage the s
 ubmission of high-quality,\n        original paper
 s, which are not being submitted simultaneously\n 
        for publication elsewhere.  Submission dead
 line: Saturday 6\n        June 2009.\n      </p>\n
       </div>
URL:/NewsandEvents/Archives/2009/newsitem/2867/7-1
 1-September-2009-FAMAS09-Formal-Approaches-to-Mult
 i-Agent-Systems-Torino-Italy
END:VEVENT
END:VCALENDAR