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
The doctoral c ollege Logical Methods in Computer Science (LogiCS ), and the Austrian Society for Rigorous Syste ms Engineering (RiSE) 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
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.
URL:http://forsyte.at/laive-summer-school-2017 END:VEVENT END:VCALENDAR