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/2017/newsitem/9346/17-
--21-December-2017-Advanced-Winter-School-on-Forma
l-Verification-Jerusalem-Israel
DTSTAMP:20171026T174612
SUMMARY:Advanced Winter School on Formal Verificat
ion, Jerusalem, Israel
DTSTART;VALUE=DATE:20171217
DTEND;VALUE=DATE:20171221
LOCATION:Jerusalem, Israel
DESCRIPTION:Formal Verification is the study of al
gorithms and structures applicable to the verifica
tion of hardware and software designs. It draws up
on ideas and results from logic, graph theory, and
automata theory, and combines theoretical and exp
erimental aspects. The IIAS Winter School on Forma
l Verification would bring together several leadin
g researchers to cover the mathematicall and algor
ithmic foundations of the field, as well as to dis
cuss its application in industry, and its impact o
n related areas in computer science. Application
Deadline: October 1, 2017.
X-ALT-DESC;FMTTYPE=text/html:\n Formal Verific
ation is the study of algorithms and structures ap
plicable to the verification of hardware and softw
are designs. It draws upon ideas and results from
logic, graph theory, and automata theory, and comb
ines theoretical and experimental aspects. The IIA
S Winter School on Formal Verification would bring
together several leading researchers to cover the
mathematicall and algorithmic foundations of the
field, as well as to discuss its application in in
dustry, and its impact on related areas in compute
r science.
\n\n Application Deadline: Octob
er 1, 2017.
\n
URL:http://ias.huji.ac.il/CSE2
END:VEVENT
END:VCALENDAR