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/2010/newsitem/3580/15- 16-November-2010-Games-Logic-and-Security-GIPSy-20 10-Rennes-France DTSTAMP:20101007T000000 SUMMARY:Games, Logic and Security (GIPSy 2010), Re nnes, France DTSTART;VALUE=DATE:20101115 DTEND;VALUE=DATE:20101116 LOCATION:Rennes, France DESCRIPTION:Many tasks in computer science, such a s design, synthesis, verification, etc. can be for mulated in game-theoretic terms. Game playing is t hus a powerful paradigm that fits many situations in which interaction between autonomous agents pla ys a central role. Abstracting security problems a s games reveals the underlying theoretical and alg orithmic questions, and helps to clarify the relat ionships between different domains. As an organiza tional principle, the concept of game offers a fre sh and intuitive way of thinking through complex i ssues. There is now ample evidence that the divers e applications mentioned above can benefit from co mmon analytical techniques and insights offered by algorithmic game theory, automata theory and logi c. The main goal of this workshop is to gather r esearchers interested in games, logic and security (in a broad sense), and to offer a privileged for um to present their work and exchange ideas on the se topics. The registration is free but mandator y. Deadline for registration: 4th November 2010. All important details are available at http://www. irisa.fr/prive/Sophie.Pinchinat/GIPSy/gipsy10.html Participants are welcome to give short talks (ap proximately 20 minutes). Selection will be made on the basis of an extended abstract of at most 2 pa ges. Submissions can contain work published elsewh ere. Submission deadline: 22nd October 2010. X-ALT-DESC;FMTTYPE=text/html:
\n

Many tasks in computer science, such as design, synthes is,\n verification, etc. can be formulated in game-theoretic\n terms. Game playing is thus a powerful paradigm that fits many\n situati ons in which interaction between autonomous agents plays\n a central role. Abstracting security problems as games reveals\n the underlying t heoretical and algorithmic questions, and helps\n to clarify the relationships between differen t domains. As an\n organizational principle, the concept of game offers a fresh and\n intu itive way of thinking through complex issues. Ther e is now\n ample evidence that the diverse ap plications mentioned above can\n benefit from common analytical techniques and insights offered \n by algorithmic game theory, automata theor y and logic.\n

\n

The main goal o f this workshop is to gather researchers\n in terested in games, logic and security (in a broad sense), and\n to offer a privileged forum to present their work and exchange\n ideas on th ese topics.\n

\n \n \n

Th e registration is free but mandatory. Deadline for registration: 4th November 2010.

\n

Al l important details are available at\n http://www.irisa .fr/prive/Sophie.Pinchinat/GIPSy/gipsy10.html\ n

\n
\n

Participant s are welcome to give short talks\n (approx imately 20 minutes). Selection will be made on the basis of an\n extended abstract of at most 2 pages. Submissions can contain work\n pu blished elsewhere. Submission deadline: 22nd Octob er 2010.\n

\n
URL:/NewsandEvents/Archives/2010/newsitem/3580/15- 16-November-2010-Games-Logic-and-Security-GIPSy-20 10-Rennes-France END:VEVENT END:VCALENDAR