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/2014/newsitem/5613/18-
 22-August-2014-15th-International-Workshop-on-Comp
 utational-Logic-in-Multi-Agent-Systems-CLIMA-XV-Pr
 ague-Czech-Republic
DTSTAMP:20140309T000000
SUMMARY:15th International Workshop on Computation
 al Logic in Multi-Agent Systems (CLIMA XV), Prague
 , Czech Republic
DTSTART;VALUE=DATE:20140818
DTEND;VALUE=DATE:20140822
LOCATION:Prague, Czech Republic
DESCRIPTION:The purpose of the CLIMA Workshop Seri
 es is to provide a forum for discussing techniques
 , based on computational logic, for representing, 
 programming and reasoning about agents and multi-a
 gent systems in a formal way.    Following the pre
 vious fourteen, very successful, editions, the 15t
 h CLIMA will take place in Prague, Czech Repulblic
 , on the 18th and 19th of August 2014. It will be 
 co-located with ECAI~14. In addition to CLIMA's re
 gular topics and sessions, this edition will featu
 re two special sessions, on 'Logics for Games, Str
 ategic Reasoning, and Social Choice' and on 'Logic
 s for Agreement Technologies'.   For more informat
 ion, see http://www-sop.inria.fr/members/Serena.Vi
 llata/climaXV.html   We welcome and encourage the 
 submission of high quality, original papers, which
  have not been accepted for publication nor are cu
 rrently under review for another journal or confer
 ence. Submissions will be peer-reviewed by at leas
 t three PC members. Submission deadline is May 11t
 h.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      The purpose of the CLIMA Workshop Series is t
 o provide a forum\n        for discussing techniqu
 es, based on computational logic, for\n        rep
 resenting, programming and reasoning about agents 
 and\n        multi-agent systems in a formal way.\
 n      </p>\n      <p>\n         Following the pre
 vious fourteen, very successful, editions,\n      
    the 15th CLIMA will take place in Prague, Czech
  Repulblic, on\n         the 18th and 19th of Augu
 st 2014. It will be co-located with\n         ECAI
 ~14. In addition to CLIMA's regular topics and ses
 sions,\n         this edition will feature two spe
 cial sessions, on 'Logics\n         for Games, Str
 ategic Reasoning, and Social Choice' and on\n     
     'Logics for Agreement Technologies'.\n      </
 p>\n    \n      \n      <p>For more information, s
 ee\n        <a target="_blank" href="http://www-so
 p.inria.fr/members/Serena.Villata/climaXV.html">ht
 tp://www-sop.inria.fr/members/Serena.Villata/clima
 XV.html</a>\n      </p>\n    </div><div>\n      <p
 >\n        We welcome and encourage the submission
  of high quality,\n        original papers, which 
 have not been accepted for publication\n        no
 r are currently under review for another journal o
 r\n        conference. Submissions will be peer-re
 viewed by at least\n        three PC members.  Sub
 mission deadline is May 11th.\n      </p>\n      <
 /div>
URL:/NewsandEvents/Archives/2014/newsitem/5613/18-
 22-August-2014-15th-International-Workshop-on-Comp
 utational-Logic-in-Multi-Agent-Systems-CLIMA-XV-Pr
 ague-Czech-Republic
END:VEVENT
END:VCALENDAR