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/2014/newsitem/5784/13-
July-2014-Isabelle-Workshop-and-Tutorial-Vienna-Au
stria
DTSTAMP:20140525T000000
SUMMARY:Isabelle Workshop and Tutorial, Vienna, Au
stria
DTSTART;VALUE=DATE:20140713
DTEND;VALUE=DATE:20140713
LOCATION:Vienna, Austria
DESCRIPTION:Researchers attending the Vienna Summe
r of Logic who are interested in interactive theor
em proving, are invited to consider attending eith
er of these two parallel events: - A half-day ha
nds-on tutorial on Isabelle for novices. Amongst o
ther things you get to try the famous Sledgehammer
. - A full-day Isabelle workshop, including a ta
lk by Larry Paulson on his verification of Goedel'
s two incompleteness theorems. For details see h
ttp://vsl2014.at/isabelle. For the workshop progra
m click on PROGRAM.
X-ALT-DESC;FMTTYPE=text/html:\n Researcher
s attending the Vienna Summer of Logic who are int
erested in interactive theorem proving, are invite
d to consider attending either of these two parall
el events:\n

\n - A half-day hand
s-on tutorial on Isabelle for novices.\n
Amongst other things you get to try the famous Sl
edgehammer.\n

\n - A full-day Isa
belle workshop,\n including a talk by La
rry Paulson on his verification\n of Goe
del's two incompleteness theorems.\n

\n
\n For details see http://vsl2014.at/
isabelle.\n For the workshop program cl
ick on PROGRAM.\n

\n
URL:/NewsandEvents/Archives/2014/newsitem/5784/13-
July-2014-Isabelle-Workshop-and-Tutorial-Vienna-Au
stria
END:VEVENT
END:VCALENDAR