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/9112/3--
 -5-July-2017-LogiCS-RiSE-Summer-School-on-Logic-AI
 -and-Verification-Vienna-Austria
DTSTAMP:20170605T144805
SUMMARY:LogiCS/RiSE Summer School on Logic, AI, an
 d Verification, Vienna, Austria
DTSTART;VALUE=DATE:20170703
DTEND;VALUE=DATE:20170705
LOCATION:Vienna, Austria
DESCRIPTION:The doctoral college Logical Methods i
 n Computer Science (LogiCS), and the Austrian Soci
 ety for Rigorous Systems Engineering (RiSE) will h
 ost a summer school on Logic, Artificial Intellige
 nce and Verification at TU Wien, Vienna, Austria f
 rom July 3 to July 5.  The summer school targets m
 aster and doctoral students in Computer Science an
 d Mathematics with a strong interest in Logic, Art
 ificial Intelligence and Automated Verification. T
 he event is open to all interested students.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The doctoral c
 ollege Logical Methods in Computer Science <a href
 ="http://logic-cs.at/phd/" target="_blank">(LogiCS
 )</a>, and the Austrian Society for Rigorous Syste
 ms Engineering (<a href="http://arise.or.at/" targ
 et="_blank">RiSE</a>) will host a summer school on
  Logic, Artificial Intelligence and Verification a
 t TU Wien, Vienna, Austria from July 3 to July 5.<
 /p>\n\n  <p>The summer school targets master and d
 octoral students in Computer Science and Mathemati
 cs with a strong interest in Logic, Artificial Int
 elligence and Automated Verification. The event is
  open to all interested students.</p>\n
URL:http://forsyte.at/laive-summer-school-2017
END:VEVENT
END:VCALENDAR