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/1680/14- 15-May-2007-Declarative-Agent-Languages-and-Techno logies-DALT-2007-Hawaii-US DTSTAMP:20070114T000000 SUMMARY:14/15 May 2007, Declarative Agent Language s and Technologies (DALT 2007), Hawaii, US DTSTART;VALUE=DATE:20070514 DTEND;VALUE=DATE:20070515 LOCATION:Hawaii, US DESCRIPTION:The workshop on Declarative Agent Lang uages and Technologies (DALT), in its fifth editio n this year, is a well-established forum for resea rchers interested in sharing their experiences in combining declarative and formal approaches with e ngineering and technology aspects of agents and mu ltiagent systems. Building complex agent systems c alls for models and technologies that en- sure pre dictability, allow for the verification of propert ies, and guarantee flexibility. Developing technol ogies that can sat- isfy these requirements still poses an important and difficult challenge. Here, declarative approaches have the potential of of- f ering solutions satisfying the needs for both spec ifying and de- veloping multiagent systems. Moreov er, they are gaining more and more attention in im portant application areas such as the seman- tic w eb, service-oriented computing, security, and elec tronic contracting. For instance, some convergence points between the areas of formal methods for de aling with web services and formal methods for age nts are emerging and gaining more and more atten- tion. DALT 2007 will be held as a satellite work shop of AAMAS 2007. For more information, see http ://www.di.unito.it/~baldoni/DALT-2007/ We welcome and encourage the submission of high-quality, ori ginal papers, which are not being submitted simult aneously for publication elsewhere. Paper submissi on deadline is 5 February 2007. X-ALT-DESC;FMTTYPE=text/html:
\n

The workshop on Declarative Agent Languages and Te chnologies\n (DALT), in its fifth edition this year, is a well-established\n forum for researchers interested in sharing their expe riences in\n combining declarative and form al approaches with engineering and\n techn ology aspects of agents and multiagent systems . Building\n complex agent systems calls fo r models and technologies that en-\n sure predictability, allow for the verification of p roperties,\n and guarantee flexibility. De veloping technologies that can sat-\n isfy these requirements still poses an important and difficult\n challenge. Here, declarative a pproaches have the potential of of-\n ferin g solutions satisfying the needs for both specifyi ng and de-\n veloping multiagent systems. Moreover, they are gaining more and\n more attention in important application areas such as the seman-\n tic web, service-oriented com puting, security, and electronic\n contr acting. For instance, some convergence points b etween the\n areas of formal methods for de aling with web services and formal\n metho ds for agents are emerging and gaining more and m ore atten-\n tion.\n

\n \n \n

DALT 2007 will be held as a satellite workshop of AAMAS 2007.\n For more informat ion, see\n http://www.di .unito.it/~baldoni/DALT-2007/\n

\n
\n

We welcome and encourage th e submission of high-quality, original\n pa pers, which are not being submitted simult aneously for\n publication elsewhere. Pap er submission deadline is 5 February 2007.\n

\n
URL:/NewsandEvents/Archives/2007/newsitem/1680/14- 15-May-2007-Declarative-Agent-Languages-and-Techno logies-DALT-2007-Hawaii-US END:VEVENT END:VCALENDAR