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/2735/27- 31-July-2009-Workshop-on-Logics-and-Agent-Programm ing-Languages-Bordeaux DTSTAMP:20090212T000000 SUMMARY:Workshop on Logics and Agent Programming L anguages, Bordeaux DTSTART;VALUE=DATE:20090727 DTEND;VALUE=DATE:20090731 LOCATION:Bordeaux DESCRIPTION:The workshop is part of ESSLLI in Bord eaux and is aimed at researchers who use logics in design and / or verification of agent programming languages. The workshop will provide a forum for advanced PhD students and researchers in these are as to compare methodologies, exchange ideas and id entify challenges in agent programming languages a nd writing reliable agent programs. Deadline fo r submissions: 4 March 2009. For more information, see http://www.agents.cs.nott.ac.uk/events/lapl09 /. X-ALT-DESC;FMTTYPE=text/html:\n
\n The workshop is part of ESSLLI in Bordeaux and is aimed at\n researchers who use logics in de sign and / or verification of\n agent progr amming languages. The workshop will provide a foru m\n for advanced PhD students and researche rs in these areas to\n compare methodologie s, exchange ideas and identify challenges\n in agent programming languages and writing reliab le agent\n programs.\n
\n \n\n Deadline for submissions: 4 March 2009. For more information,\n see http://www.agents.cs.nott.ac.uk/even ts/lapl09/.\n
URL:/NewsandEvents/Archives/2009/newsitem/2735/27- 31-July-2009-Workshop-on-Logics-and-Agent-Programm ing-Languages-Bordeaux END:VEVENT END:VCALENDAR