BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Conferences/newsitem/578
4/13-July-2014-Isabelle-Workshop-and-Tutorial-Vien
na-Austria
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/Events/Conferences/newsitem/578
4/13-July-2014-Isabelle-Workshop-and-Tutorial-Vien
na-Austria
END:VEVENT
END:VCALENDAR