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/2012/newsitem/4522/7-1 2-September-2012-Annual-Workshop-of-the-ESF-Networ king-Programme-on-Games-for-Design-and-Verificatio n-GAMES-2012-Naples-Italy DTSTAMP:20120610T000000 SUMMARY:Annual Workshop of the ESF Networking Prog ramme on\n Games for Design and Ve rification (GAMES 2012), Naples, Italy DTSTART;VALUE=DATE:20120907 DTEND;VALUE=DATE:20120912 LOCATION:Naples, Italy 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 and th is year edition is the concluding one. GAMES 2012 will be held at Universita' di Napoli Federico II, Italy. The scope of the workshop includes the m athematical and algorithmic analysis of finite and infinite games, the interplay of games with autom ata theory and logic, and applications of games, a utomata, and logic to the design and verification of computing systems. As in previous years, GAMES 2012 will be an informal workshop, without proceed ings. Its programme consists of 10 invited talks, contributed talks (30 min) and short presentations (15 min). Please visit the workshop website (h ttp://www.games.unina.it/) for more information. Contributed talks and short presentations will be selected by the programme committee on the basis of submitted abstracts. Researchers who would like to present a talk at GAMES 2012 are invited to su bmit an abstract of up to two pages by email to es fgames2012 at gmail.com by 27 June 2012. X-ALT-DESC;FMTTYPE=text/html:
\n

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 computing systems, in\n a framewo rk that is based on the interplay of finite and\n infinite games, mathematical logic and automa ta theory. GAMES is\n the annual workshop of the Network and this year edition is the\n co ncluding one. GAMES 2012 will be held at Universit a' di Napoli\n Federico II, Italy.\n

\n

The scope of the workshop includes the mathematical and algorithmic\n analysis of finite and infinite games, the interplay of games with\n automata theory and logic, and appl ications of games, automata, and\n logic to the design and verification of computing systems. \n As in previous years, GAMES 2012 will be an informal workshop, without\n proceeding s. Its programme consists of 10 invited talks,\n contributed talks (30 min) and short present ations (15 min).\n

\n \n \n

\n Please visit the workshop website\n (http://www.games.unina.it/) for more information.\n

\n
\n

Contributed talks and short presentations will be selected by the\n programme committee on the basis of submitted abstracts.\n Resear chers who would like to present a talk at GAMES 20 12 are invited\n to submit an abstract of u p to two pages by email to\n esfgames2012 at gmail.c om\n by 27 June 2012.\n

\n
URL:/NewsandEvents/Archives/2012/newsitem/4522/7-1 2-September-2012-Annual-Workshop-of-the-ESF-Networ king-Programme-on-Games-for-Design-and-Verificatio n-GAMES-2012-Naples-Italy END:VEVENT END:VCALENDAR