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/2801/28-
 June-2009-Games-for-Design-Verification-and-Synthe
 sis-GASICS-09-Grenoble-France
DTSTAMP:20090322T000000
SUMMARY:Games for Design, Verification and Synthes
 is (GASICS 09), Grenoble, France
DTSTART;VALUE=DATE:20090628
DTEND;VALUE=DATE:20090628
LOCATION:Grenoble, France
DESCRIPTION:GASICS is an ESF project of the EUROCO
 RES programme LogICCC (Modelling intelligent inter
 action Logic in the Humanities, Social and Computa
 tional sciences ). It studies game theoretic forma
 lizations of interactive computational systems and
  algorithms for their analysis and synthesis. Our 
 aim is to extend the existing notions of games pla
 yed on graphs introduced by computer scientists. C
 urrently, most of the games played on graphs are o
 f the sort "two-players zero-sum", we aim to exten
 d them to "multiple-players non-zero-sum", and sho
 w the applicability of the new theory to the analy
 sis and synthesis of interactive computational sys
 tems.   The aim of this workshop is to bring toget
 her researchers working on game-related subjects, 
 and to discuss on various aspects of game theory i
 n the fields where it is applied. The workshop wil
 l be composed of two invited talks, together with 
 contributed talks on relevant topics.   For more i
 nformation, see http://www.lsv.ens-cachan.fr/Event
 s/gasics09/   The Programme Committee cordially in
 vites all researchers to submit their papers for p
 resentation. Submission deadline is 10 April 2009.
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>GASIC
 S is an ESF project of the EUROCORES programme Log
 ICCC\n        (Modelling intelligent interaction L
 ogic in the Humanities,\n        Social and Comput
 ational sciences ). It studies game theoretic\n   
      formalizations of interactive computational s
 ystems and\n        algorithms for their analysis 
 and synthesis. Our aim is to extend\n        the e
 xisting notions of games played on graphs introduc
 ed by\n        computer scientists. Currently, mos
 t of the games played on\n        graphs are of th
 e sort &quot;two-players zero-sum&quot;, we aim to
  extend\n        them to &quot;multiple-players no
 n-zero-sum&quot;, and show the\n        applicabil
 ity of the new theory to the analysis and synthesi
 s of\n        interactive computational systems.\n
       </p>\n      <p>The aim of this workshop is t
 o bring together researchers working\n        on g
 ame-related subjects, and to discuss on various as
 pects of\n        game theory in the fields where 
 it is applied. The workshop will\n        be compo
 sed of two invited talks, together with contribute
 d talks\n        on relevant topics.\n      </p>\n
     \n      \n      <p>For more information, see\n
         <a target="_blank" href="http://www.lsv.en
 s-cachan.fr/Events/gasics09/">http://www.lsv.ens-c
 achan.fr/Events/gasics09/</a>\n      </p>\n    </d
 iv><div>\n      <p>\n        The Programme Committ
 ee cordially invites all researchers\n        to s
 ubmit their\n        papers for presentation.\n   
      Submission deadline is 10 April 2009.\n      
 </p>\n      </div>
URL:/NewsandEvents/Archives/2009/newsitem/2801/28-
 June-2009-Games-for-Design-Verification-and-Synthe
 sis-GASICS-09-Grenoble-France
END:VEVENT
END:VCALENDAR