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/4073/25- 27-October-2011-Games-Logics-and-Security-GIPSy-20 11-Rennes-France DTSTAMP:20110908T000000 SUMMARY:Games, Logics and Security (GIPSy 2011), R ennes, France DTSTART;VALUE=DATE:20111025 DTEND;VALUE=DATE:20111027 LOCATION:Rennes, France DESCRIPTION:Security and privacy problems in compu ter networks and mobile applications often stem fr om the interaction between agents of the network ( which can be individuals as well as devices or sof twares acting autonomously). Modeling the interact ion between agents is therefore essential to addre ss security problems appropriately. Game theory an d logic are the most prominent frameworks for the formal treatment of interaction. They permit not o nly to model and represent this interaction betwee n agents, but they also lead to the development of applicable algorithms and decision procedures. In the past two decades, a number of logical framewo rks and game-theoretic approaches have been propos ed to model and analyze computer networks from the security point of view, sometimes resorting to no n-classical logics (such as epistemic or intuition istic logics). The main goal of this workshop is to gather researchers interested in games, logic and security (in a broad sense), and to offer a pr ivileged forum to present their work and exchange ideas on these topics. The registration is free but mandatory. Lunches are included in the registr ation. Deadline for registration: 13th October 201 1. All important details are available at http:/ /www.irisa.fr/prive/Sophie.Pinchinat/GIPSy/gipsy11 .html. Participants have the opportunity to give short talks (approximately 20 minutes). Selection will be made on the basis of an extended abstract of at most 2 pages. Submission deadline: 9th Octo ber 2011. X-ALT-DESC;FMTTYPE=text/html:
\n

Secur ity and privacy problems in computer networks and mobile\n applications often stem from the int eraction between agents of\n the network (whi ch can be individuals as well as devices or\n softwares acting autonomously). Modeling the inte raction between\n agents is therefore essenti al to address security problems\n appropriate ly. Game theory and logic are the most prominent\n frameworks for the formal treatment of inter action. They permit\n not only to model and r epresent this interaction between agents,\n b ut they also lead to the development of applicable algorithms\n and decision procedures. In the past two decades, a number of\n logical fram eworks and game-theoretic approaches have been\n proposed to model and analyze computer network s from the\n security point of view, sometime s resorting to non-classical\n logics (such a s epistemic or intuitionistic logics).\n

\n

The main goal of this workshop is to ga ther researchers\n interested in games, logic and security (in a broad sense), and\n to of fer a privileged forum to present their work and e xchange\n ideas on these topics.\n

\ n \n \n

The registration is free b ut mandatory. Lunches are included in the\n registration. Deadline for registration: 13th Oct ober 2011.\n

\n

All important det ails are available at\n http://www.irisa.fr/prive/Sophi e.Pinchinat/GIPSy/gipsy11.html.\n

\n
\n

Participants have the opp ortunity to give short talks\n (approximately 20 minutes). Selection will be made on the basis\ n of an extended abstract of at most 2 pages. Submission deadline:\n 9th October 2011.\n

\n
URL:/NewsandEvents/Archives/2011/newsitem/4073/25- 27-October-2011-Games-Logics-and-Security-GIPSy-20 11-Rennes-France END:VEVENT END:VCALENDAR