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:
\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
\n\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
For more information, s ee\n ht tp://www-sop.inria.fr/members/Serena.Villata/clima XV.html\n
\n We welcome and encourage the submission of hi gh quality,\n original papers, which have n ot been accepted for publication\n nor are currently under review for another journal or\n conference. Submissions will be peer-reviewed by at least\n three PC members. Submissio n deadline is May 11th.\n
\n