This is intended to be an informal workshop. Participants are encouraged to present work in progress, overviews of more extensive work, and programmatic/position papers, as well as completed projects in the following areas:
Particular focus will be given this year to Games for Program Analysis.
A special journal issue associated with the workshop is being considered; this will be discussed at the workshop. Three previous workshops led to special issues in the journal Annals of Pure and Applied Logic (2005, 2008, 2011).
Please submit an abstract of your proposed talk on the easychair submission page. You may also submit an accompanying paper for the talk.
Although there will be no registration fees, participants are asked to register via sending an email to nikost@eecs.qmul.ac.uk.
Local information can be found here, while the programme of the workshop is here.