7-8 December 2010, Workshop on Automata and Logic for Data Manipulating Programs, Paris, France

A fundamental challenge in software model-checking is to deal with rich data, residing in variables or on the heap. The aim of this workshop is to bring together researchers from both practical and theoretical sides, and to investigate how the recently developed tools in automata theory and logic, such as register and higher-order pushdown automata and logics on data words, can be used to model and verify programs with both rich data structures and operating on unbounded data values.

For details, a preliminary programme and list of invited speakers see http://www.liafa.jussieu.fr/~serre/Data/. Registration deadline: December 1st 2010 There will be no registration fee for the workshop. We will cover lunches for all participants and may be able to cover travel and accommodation costs for a limited number of students.