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      <p>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      <p>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/</a>.\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      </p>\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