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      <p>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      </p>\n      <p>- A half-day hand
 s-on tutorial on Isabelle for novices.\n          
  Amongst other things you get to try the famous Sl
 edgehammer.\n      </p>\n      <p>- 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      </p>\n  
   \n      <p>For details see <a target="_blank" hr
 ef="http://vsl2014.at/isabelle">http://vsl2014.at/
 isabelle</a>.\n        For the workshop program cl
 ick on PROGRAM.\n      </p>\n    
URL:/NewsandEvents/Archives/2014/newsitem/5784/13-
 July-2014-Isabelle-Workshop-and-Tutorial-Vienna-Au
 stria
END:VEVENT
END:VCALENDAR