The Institute of Mathematical Sciences, Chennai announces an Indo-French Workshop on Games of Imperfect Information via Automata and Logic (GImInAL) to be held at IMSc, Chennai on December 7 (Saturday) and December 10, 2013 (Tuesday).

Aim and Scope:

Reasoning about global behaviour in the presence of partial information is an essential feature of distributed systems, and a central topic of study in concurrency theory. Games of imperfect information provide a natural model of interaction in the presence of uncertainty as well. Studying computational issues in such games from the perspective of automata theory and logic has led to new insights. The Workshop is intended as an occasion for exchanging ideas on this topic, especially on identifying appropriate solution concepts, as well as structural and computational arguments for analysing them.

Participation in the workshop is open to everyone and will be limited only by logistical constraints. Registration for the workshop will be possible by writing to the organizers.

Sponsors.

The Institute of Mathematical Sciences (IMSc)	INRIA, Rennes

Organizer