Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Date: 7-8 December 2010
Location: 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.

Please note that this newsitem has been archived, and may contain outdated information or links.