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/2003/newsitem/348/12-A pril-2003-Second-International-Workshop-on-Automat ic-Analysis-of-Infinite-State-Systems-AVIS-03- DTSTAMP:20021221T000000 SUMMARY:Second International Workshop on Automatic Analysis of Infinite-State Systems (AVIS'03) DTSTART;VALUE=DATE:20030412 DTEND;VALUE=DATE:20030412 LOCATION:Warsaw, Poland DESCRIPTION:This workshop is a forum for researche rs, students, and practitioners interested in the application of formal methods and tools for the au tomatic verification of large practical systems. For more information, see here or visit http://c hacs.nrl.navy.mil/AVIS03/. You are invited to s ubmit an extended abstract, not to exceed 10 pages , on related research or case study. We invite bot h completed work as well as work in progress; the aim of the workshop is to stimulate discussion and to bring together people with varying backgrounds from disparate communities. X-ALT-DESC;FMTTYPE=text/html:
This workshop is a forum for researchers, students, and practitioners\n interested in the applicat ion of formal methods and tools for the\n a utomatic verification of large practical systems.\ n
\n \n \n\n For mo re information, see here or visit \n http ://chacs.nrl.navy.mil/AVIS03/.\n
\n You are invited to sub mit an extended abstract, not to exceed 10 pages,\ n on related research or case study. We in vite both completed work\n as well as work in progress; the aim of the workshop is to stimula te\n discussion and to bring together peopl e with varying backgrounds from\n disparate communities.\n
\n