7-8 Dec 2010
Paris, France
CALL FOR PARTICIPATION
Automata and Logic for Data Manipulating Programs
Paris, 7-8 December 2010
Registration deadline: December 1st 2010
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/
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.
Please register on
http://www.liafa.jussieu.fr/~serre/Data/index.php?contenu=Registration
and email us if you want to apply for a travel grant.
Lukasz Kaiser and Olivier Serre
{kaiser, serre}@liafa.jussieu.fr