BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2010/newsitem/3657/7-8 -December-2010-Workshop-on-Automata-and-Logic-for- Data-Manipulating-Programs-Paris-France DTSTAMP:20101118T000000 SUMMARY:Workshop on Automata and Logic for Data Ma nipulating Programs, Paris, France DTSTART;VALUE=DATE:20101207 DTEND;VALUE=DATE:20101208 LOCATION:Paris, France DESCRIPTION:A fundamental challenge in software mo del-checking is to deal with rich data, residing i n variables or on the heap. The aim of this worksh op is to bring together researchers from both prac tical and theoretical sides, and to investigate ho w the recently developed tools in automata theory and logic, such as register and higher-order pushd own 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 o f invited speakers see http://www.liafa.jussieu.fr /~serre/Data/. Registration deadline: December 1st 2010 There will be no registration fee for the wo rkshop. We will cover lunches for all participants and may be able to cover travel and accommodation costs for a limited number of students. X-ALT-DESC;FMTTYPE=text/html:\n
A fundamen tal challenge in software model-checking is to\n deal with rich data, residing in variables o r on the heap.\n The aim of this workshop i s to bring together researchers\n from both practical and theoretical sides, and to investiga te\n how the recently developed tools in au tomata theory and logic,\n such as register and higher-order pushdown automata and logics\n on data words, can be used to model and veri fy programs with\n both rich data structure s and operating on unbounded data values.\n < /p>\n \n
For details, a preliminary pro gramme and list of invited speakers see\n < a target="_blank" href="http://www.liafa.jussieu.f r/~serre/Data/">http://www.liafa.jussieu.fr/~serre /Data/.\n Registration deadline: Decemb er 1st 2010\n There will be no registration fee for the workshop. We will cover\n lunc hes for all participants and may be able to cover travel and\n accommodation costs for a limi ted number of students.\n
URL:/NewsandEvents/Archives/2010/newsitem/3657/7-8 -December-2010-Workshop-on-Automata-and-Logic-for- Data-Manipulating-Programs-Paris-France END:VEVENT END:VCALENDAR