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/2737/9-1
 0-August-2009-LAM-09-Logics-for-Agents-and-Mobilit
 y-Los-Angeles-CA-U-S-A-
DTSTAMP:20090212T000000
SUMMARY:LAM 09: Logics for Agents and Mobility, Lo
 s Angeles CA, U.S.A.
DTSTART;VALUE=DATE:20090809
DTEND;VALUE=DATE:20090810
LOCATION:Los Angeles CA, U.S.A.
DESCRIPTION:Our aim is to bring together active re
 searchers in the area of logics and mobile systems
 , especially in the field of logics and calculi fo
 r mobility, agents, and multi-agent systems. Many 
 notions used in the theory of agents are derived f
 rom philosophy, logic, and linguistics (belief, de
 sire, intention, speech act, etc.), and interdisci
 plinary discourse has proved fruitful for the adva
 nce of this domain. Outside of academia, the deplo
 yment of large-scale pervasive infrastructures (mo
 bile ad-hoc networks, mobile devices, RFIDs, etc.)
  is becoming a reality. This raises a number of sc
 ientific and technological challenges for the soft
 ware modelling and programming models for such lar
 ge-scale, open and highly-dynamic distributed syst
 ems. The agent and multi-agent systems approach se
 ems particularly adapted to tackle this challenge,
  but there are many issues remaining to be investi
 gated. The workshop is intended to showcase result
 s and current work being undertaken in these areas
  with a focus on logics for specification and veri
 fication of dynamic, mobile systems.   The worksho
 p will be held as a one-and-a-half-day event befor
 e LICS'2009. There will be a general introduction 
 and brief survey of the field by the organiser as 
 an introduction to the workshop. The workshop will
  contain invited talks, contributed talks, and a d
 iscussion session. The latter is meant to give the
  participants a chance to discuss informally resea
 rch directions, open problems, and possible co-ope
 rations.   Further Information: About the workshop
 : http://www.dur.ac.uk/lam.09.  About LICS: http:/
 /www2.informatik.hu-berlin.de/lics/lics09/   The P
 rogramme Committee cordially invites all researche
 rs to submit their papers for presentation. Submis
 sion Deadline: 1 May 2009.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      Our aim is to bring together active researche
 rs in the area of logics\n        and mobile syste
 ms, especially in the field of logics and calculi 
 for\n        mobility, agents, and multi-agent sys
 tems. Many notions used in the\n        theory of 
 agents are derived from philosophy, logic, and lin
 guistics\n        (belief, desire, intention, spee
 ch act, etc.), and interdisciplinary\n        disc
 ourse has proved fruitful for the advance of this 
 domain. Outside\n        of academia, the deployme
 nt of large-scale pervasive infrastructures\n     
    (mobile ad-hoc networks, mobile devices, RFIDs,
  etc.) is becoming a\n        reality. This raises
  a number of scientific and technological\n       
  challenges for the software modelling and program
 ming models for such\n        large-scale, open an
 d highly-dynamic distributed systems. The agent\n 
        and multi-agent systems approach seems part
 icularly adapted to tackle\n        this challenge
 , but there are many issues remaining to be\n     
    investigated. The workshop is intended to\n    
     showcase results and current work being undert
 aken in these areas with\n        a focus on logic
 s for specification and verification of dynamic,\n
         mobile systems.\n      </p>\n      <p>The 
 workshop will be held as a one-and-a-half-day even
 t\n      before LICS'2009.  There will be a genera
 l introduction and\n      brief survey of the fiel
 d by the organiser as an introduction to\n      th
 e workshop. The workshop will contain invited talk
 s,\n      contributed talks, and a discussion sess
 ion. The latter is meant\n      to give the partic
 ipants a chance to discuss informally research\n  
     directions, open problems, and possible co-ope
 rations.\n      </p>\n    \n      \n      <p>Furth
 er Information:\n        About the workshop: <a ta
 rget="_blank" href="http://www.dur.ac.uk/lam.09">h
 ttp://www.dur.ac.uk/lam.09</a>.<br />\n        Abo
 ut LICS: <a target="_blank" href="http://www2.info
 rmatik.hu-berlin.de/lics/lics09/">http://www2.info
 rmatik.hu-berlin.de/lics/lics09/</a>\n      </p>\n
     </div><div>\n      <p>\n        The Programme 
 Committee cordially invites all researchers\n     
    to submit their\n        papers for presentatio
 n.\n        Submission Deadline: 1 May 2009.\n    
   </p>\n      </div>
URL:/NewsandEvents/Archives/2009/newsitem/2737/9-1
 0-August-2009-LAM-09-Logics-for-Agents-and-Mobilit
 y-Los-Angeles-CA-U-S-A-
END:VEVENT
END:VCALENDAR