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/5659/18-
 19-August-2014-Logics-for-Games-and-Strategic-Reas
 oning-and-Social-Choice-Prague-Czech-Republic
DTSTAMP:20140330T000000
SUMMARY:Logics for Games and Strategic Reasoning a
 nd Social Choice, Prague, Czech Republic
DTSTART;VALUE=DATE:20140818
DTEND;VALUE=DATE:20140819
LOCATION:Prague, Czech Republic
DESCRIPTION:Strategic reasoning occurs in many mul
 ti-agent scenarios. This is evident in theoretical
  approaches to MAS, as well as in practical soluti
 ons used, for example, in computer games, IT infra
 structures for e-voting procedures, social network
  services, etc. This special session at CLIMA XV (
 Computational Logic in Multi-Agent Systems) addres
 ses the question how formal logic can contribute t
 o our understanding, modeling and analysis of stra
 tegic behavior, and investigates how the metaphors
  of game and social interaction can help in constr
 ucting and using logical formalisms.    For more i
 nformation, see http://www-sop.inria.fr/members/Se
 rena.Villata/climaXVsessions.html or contact the o
 rganizer, Wojtek Jamroga (University of Luxembourg
 ), at wojtek.jamroga at uni.lu. For general inform
 ation on CLIMA XI, see http://centria.di.fct.unl.p
 t/events/climaXIV/ or contact clima2014 at easycha
 ir.org .    We encourage submission of high qualit
 y, original papers which have not been accepted fo
 r publication nor are currently under review for a
 nother journal or conference. Submissions should n
 ot exceed 16 pages in the Springer LNCS format. No
 te that, while theoretical papers are welcome, sub
 missions must include at least some illustrating e
 xamples. Submission deadline: May 11, 2014
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>\n   
      Strategic reasoning occurs in many multi-agen
 t scenarios. This\n        is evident in theoretic
 al approaches to MAS, as well as in\n        pract
 ical solutions used, for example, in computer game
 s, IT\n        infrastructures for e-voting proced
 ures, social network\n        services, etc. This 
 special session at CLIMA XV (Computational\n      
   Logic in Multi-Agent Systems) addresses the ques
 tion how\n        formal logic can contribute to o
 ur understanding, modeling and\n        analysis o
 f strategic behavior, and investigates how the\n  
       metaphors of game and social interaction can
  help in\n        constructing and using logical f
 ormalisms.\n      </p>\n    \n      \n      <p>\n 
        For more information, see\n        <a targe
 t="_blank" href="http://www-sop.inria.fr/members/S
 erena.Villata/climaXVsessions.html">http://www-sop
 .inria.fr/members/Serena.Villata/climaXVsessions.h
 tml</a>\n        or contact the organizer, Wojtek 
 Jamroga (University of\n        Luxembourg), at <a
  class="email">wojtek.jamroga <span class="at">at<
 /span> uni.lu</a>. For\n        general informatio
 n on CLIMA XI, see\n        <a target="_blank" hre
 f="http://centria.di.fct.unl.pt/events/climaXIV/">
 http://centria.di.fct.unl.pt/events/climaXIV/</a> 
 or\n        contact <a class="email">clima2014 <sp
 an class="at">at</span> easychair.org</a> .\n     
  </p>\n    </div><div>\n      <p>\n        We enco
 urage submission of high quality, original papers 
 which\n        have not been accepted for publicat
 ion nor are currently under\n        review for an
 other journal or conference. Submissions should\n 
        not exceed 16 pages in the Springer LNCS fo
 rmat. Note that,\n        while theoretical papers
  are welcome, submissions must include\n        at
  least some illustrating examples.  Submission dea
 dline: May\n        11, 2014\n      </p>\n      </
 div>
URL:/NewsandEvents/Archives/2014/newsitem/5659/18-
 19-August-2014-Logics-for-Games-and-Strategic-Reas
 oning-and-Social-Choice-Prague-Czech-Republic
END:VEVENT
END:VCALENDAR
