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/2011/newsitem/3924/31-
 August---3-September-2011-Annual-Workshop-of-the-E
 SF-Networking-Programme-on-Games-for-Design-and-Ve
 rification-GAMES-2011-Paris-France
DTSTAMP:20110508T000000
SUMMARY:Annual Workshop of the ESF Networking Prog
 ramme on\n                 Games for Design and Ve
 rification (GAMES 2011), Paris, France
DTSTART;VALUE=DATE:20110919
DTEND;VALUE=DATE:20110903
LOCATION:Paris, France
DESCRIPTION:The ESF Networking Programme on Games 
 for Design and Verification is a European Network 
 pursuing research and training on the design and v
 erification of computing systems, in a framework t
 hat is based on the interplay of finite and infini
 te games, mathematical logic, and automata theory.
  GAMES is the annual workshop of the Network. This
  year's GAMES workshop will be held in Paris on th
 e Rive-Gauche site of Université Paris Diderot.  T
 he scope of the workshop includes the mathematical
  and algorithmic analysis of finite and infinite g
 ames, the interplay of games with automata theory 
 and logic, and applications of games, automata, an
 d logic for the design and verification of computi
 ng systems. As in previous years, GAMES 2011 will 
 be an informal workshop, without proceedings. Its 
 programme consists of five invited tutorials, cont
 ributed talks (30 min) and short presentations (15
  min).   For more information, see http://www.lsv.
 ens-cachan.fr/~dwb/games2011/.  Contributed talks 
 and short presentations will be selected by the pr
 ogramme committee on the basis of submitted abstra
 cts. Deadline for submissions: Monday 20 June 2011
 .
X-ALT-DESC;FMTTYPE=text/html:<div>\n      <p>The E
 SF Networking Programme on Games for Design and\n 
      Verification is a European Network pursuing r
 esearch and\n      training on the design and veri
 fication of\n      computing systems, in a framewo
 rk that is based on the interplay\n      of finite
  and infinite games, mathematical logic, and autom
 ata\n      theory. GAMES is the annual workshop of
  the Network. This year's\n      GAMES workshop wi
 ll be held in Paris on the Rive-Gauche site of\n  
     Universit&eacute; Paris Diderot.</p>\n\n      
 <p>The scope of the workshop includes the mathemat
 ical and\n      algorithmic analysis of finite and
  infinite games, the interplay\n      of games wit
 h automata theory and logic, and applications of\n
       games, automata, and logic for the design an
 d verification of\n      computing systems. As in 
 previous years, GAMES 2011 will be an\n      infor
 mal workshop, without proceedings. Its programme c
 onsists\n      of five invited tutorials, contribu
 ted talks (30 min) and short\n      presentations 
 (15 min).\n      </p>\n    \n     \n        <p>For
  more information, see <a target="_blank" href="ht
 tp://www.lsv.ens-cachan.fr/~dwb/games2011/">http:/
 /www.lsv.ens-cachan.fr/~dwb/games2011/</a>.</p>\n 
    </div><div>\n      <p>Contributed talks and sho
 rt presentations will be selected by\n      the pr
 ogramme committee on the basis of submitted\n     
  abstracts. Deadline for submissions: Monday 20 Ju
 ne 2011.</p>\n      </div>
URL:/NewsandEvents/Archives/2011/newsitem/3924/31-
 August---3-September-2011-Annual-Workshop-of-the-E
 SF-Networking-Programme-on-Games-for-Design-and-Ve
 rification-GAMES-2011-Paris-France
END:VEVENT
END:VCALENDAR