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/2007/newsitem/1770/6-7
 -September-2007-Formal-Approaches-to-Multi-agent-S
 ystems-FAMAS-007-Durham-UK
DTSTAMP:20070308T000000
SUMMARY:Formal Approaches to Multi-agent Systems (
 FAMAS'007), Durham, UK
DTSTART;VALUE=DATE:20070906
DTEND;VALUE=DATE:20070907
LOCATION:Durham, UK
DESCRIPTION:In recent years, multi-agent systems h
 ave come to form one of the key technologies for s
 oftware development. The third edition of the FAMA
 S workshop series, after the success of FAMAS'03 a
 ffiliated to ETAPS'03 in Warsaw and FAMAS'06 affil
 iated with ECAI'06 in Riva del Garda, aims at brin
 ging together researchers from the fields of logic
 , theoretical computer science and multi-agent sys
 tems in order to discuss formal techniques for spe
 cifying and verifying multi-agent systems    The w
 orkshop will be part of this year's Multi-Agent Lo
 gics, Languages, and Organisations federated Works
 hops, MALLOW'007 hosted by the Department of Compu
 ter Science and St. Chad's College, University of 
 Durham, U.K. Participants in the FAMAS workshop ar
 e urged to participate in the co-located workshops
 . For more details of MALLOW, please see http://ww
 w.dur.ac.uk/durham.agents007/MALLOW007/   For more
  information, see http://www.mimuw.edu.pl/MAS/FAMA
 S007/   The Programme Committee cordially invites 
 all researchers to submit their papers for present
 ation. Submission deadline: Friday 1 June, 2007.
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. The third edition of the FAMAS workshop series
 , after the success of FAMAS'03 affiliated to ETAP
 S'03 in Warsaw and FAMAS'06 affiliated with ECAI'0
 6 in Riva del Garda, aims at bringing together res
 earchers from the fields of logic, theoretical com
 puter science and multi-agent systems in order to 
 discuss formal techniques for specifying and verif
 ying multi-agent systems\n      </p>\n      <p>\n 
        The workshop will be part of this year's Mu
 lti-Agent Logics, Languages, and Organisations fed
 erated Workshops, MALLOW'007 hosted by the Departm
 ent of Computer Science and St. Chad's College, Un
 iversity of Durham, U.K. Participants in the FAMAS
  workshop are urged to participate in the co-locat
 ed workshops. For more details of MALLOW, please s
 ee <a target="_blank" href="http://www.dur.ac.uk/d
 urham.agents007/MALLOW007/">http://www.dur.ac.uk/d
 urham.agents007/MALLOW007/</a>\n      </p>\n    \n
       <p>\n      \n        For more information, s
 ee <a target="_blank" href="http://www.mimuw.edu.p
 l/MAS/FAMAS007/">http://www.mimuw.edu.pl/MAS/FAMAS
 007/</a>\n      </p>\n    </div><div>\n        The
  Programme Committee cordially invites all researc
 hers\n        to submit their\n        papers for 
 presentation.\n        Submission deadline: Friday
  1 June, 2007.\n      </div>
URL:/NewsandEvents/Archives/2007/newsitem/1770/6-7
 -September-2007-Formal-Approaches-to-Multi-agent-S
 ystems-FAMAS-007-Durham-UK
END:VEVENT
END:VCALENDAR