Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

28 June 2009, Games for Design, Verification and Synthesis (GASICS 09), Grenoble, France

Date: 28 June 2009
Location: Grenoble, France
Deadline: 10 April 2009

GASICS is an ESF project of the EUROCORES programme LogICCC (Modelling intelligent interaction Logic in the Humanities, Social and Computational sciences ). It studies game theoretic formalizations of interactive computational systems and algorithms for their analysis and synthesis. Our aim is to extend the existing notions of games played on graphs introduced by computer scientists. Currently, most of the games played on graphs are of the sort "two-players zero-sum", we aim to extend them to "multiple-players non-zero-sum", and show the applicability of the new theory to the analysis and synthesis of interactive computational systems.

The aim of this workshop is to bring together researchers working on game-related subjects, and to discuss on various aspects of game theory in the fields where it is applied. The workshop will be composed of two invited talks, together with contributed talks on relevant topics.

For more information, see http://www.lsv.ens-cachan.fr/Events/gasics09/

The Programme Committee cordially invites all researchers to submit their papers for presentation. Submission deadline is 10 April 2009.

Please note that this newsitem has been archived, and may contain outdated information or links.