Logic List Mailing Archive

Workshop "Games and Verification", Cambridge (Isaac Newton Institute), Jul 2006

Games and Verification. 

July 3-7, 2006, Cambridge, England. 

This workshop is the first annual meeting of GAMES, a research training
network funded by the European Community, and is part of the Spring 2006
program on Logic and Algorithms at the Isaac Newton Institute for
Mathematical Sciences. This event will bring together researchers in the
several different areas in the theory of computation in which games play
an important role. The invited speakers include: R. Alur, J. van Benthem,
D.  Caucal, G. Gottlob, D. Monderer, and M. Vardi. The Organizers are E.
Graedel, C.-H. L. Ong, and C.P.  Stirling. For further information, visit

http://www.newton.cam.ac.uk/programmes/LAA/laaw06.html.