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:\n
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 htt
p://chacs.nrl.navy.mil/AVIS03/.\n
\n
\n
\n You are invited
to submit an extended abstract, not to exceed 10
pages,\n on related research or case study.
We invite both completed work\n as well a
s work in progress; the aim of the workshop is to
stimulate\n discussion and to bring togethe
r people with varying backgrounds from\n di
sparate communities.\n
\n