15-16 Nov 2010
Rennes, France
======================================================================
*** CALL FOR PARTICIPATION ***
GIPSy 2010
Workshop on Games, Logic and Security
Rennes, France
15-16 November 2010
http://www.irisa.fr/prive/Sophie.Pinchinat/GIPSy/gipsy10.html
======================================================================
Many tasks in computer science, such as design, synthesis, verification,
etc. can be formulated in game-theoretic terms. Game playing is thus a
powerful paradigm that fits many situations in which interaction between
autonomous agents plays a central role. Abstracting security problems as
games reveals the underlying theoretical and algorithmic questions, and
helps to clarify the relationships between different domains. As an
organizational principle, the concept of game offers a fresh and intuitive
way of thinking through complex issues. There is now ample evidence that
the diverse applications mentioned above can benefit from common
analytical techniques and insights offered by algorithmic game theory,
automata theory and logic.
The main goal of this workshop is to gather researchers interested in
games, logic and security (in a broad sense), and to offer a privileged
forum to present their work and exchange ideas on these topics.
Three invited tutorials are scheduled:
Hans van Ditmarsch, University of Sevilla, Spain
Dynamic epistemic logic, protocols, and security
Jean-François Raskin, Université Libre de Bruxelles, Belgium
Games with imperfect information: Theory and Algorithms
Tristan Tomala, HEC Paris, France
Secure communication in networks: Mechanism Design, Games and Cryptography
Apart from the invited talks, participants are welcome to give short talks
(approximately 20 minutes). Selection will be made on the basis of an
extended abstract of at most 2 pages. Submissions can contain work
published elsewhere.
The registration is free but mandatory. Lunches and coffee breaks are
included in the registration.
Important dates:
- Submission deadline: 22nd October 2010
- Notification to authors: 1st November 2010
- Deadline for registration: 4th November 2010
- Workshop: 15th-16th November 2010
Scientific committee:
- Nathalie Bertrand (INRIA Rennes)
- Sébastien Gambs (Université de Rennes 1 - INRIA)
- Sophie Pinchinat (Université de Rennes 1)
Local organization:
- Laurence Dinh
- Lydie Mabil
- Bastien Maubert
All important details are available at
http://www.irisa.fr/prive/Sophie.Pinchinat/GIPSy/gipsy10.html