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/8961/31-
 July---4-August-2017-10th-International-Summer-Sch
 ool-on-Verification-Technology-Systems-Application
 s-Saarbrücken-Germany
DTSTAMP:20170428T140824
SUMMARY:10th International Summer School on Verifi
 cation Technology, Systems & Applications, Saarbrü
 cken, Germany
DTSTART;VALUE=DATE:20170731
DTEND;VALUE=DATE:20170804
LOCATION:Saarbrücken, Germany
DESCRIPTION:We believe that all three aspects veri
 fication technology, systems & applications strong
 ly depend on each other and that progress in the a
 rea of formal analysis and verification can only b
 e made if all three aspects are considered as a wh
 ole. Our five speakers Rajeev Alur, Christel Baier
 , Hoon Hong, Andrew Reynolds and Thomas Wies stand
  for this view in that they represent and will pre
 sent a particular verification technology and its 
 implementation in a system in order to successfull
 y apply the approach to real world verification pr
 oblems.  The school is synchronized with the SC2 S
 ummer School 2017, happening at the same time in t
 he same place. The deadline for application is Jun
 e 1st, 2017.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>We believe tha
 t all three aspects verification technology, syste
 ms &amp; applications strongly depend on each othe
 r and that progress in the area of formal analysis
  and verification can only be made if all three as
 pects are considered as a whole. Our five speakers
  Rajeev Alur, Christel Baier, Hoon Hong, Andrew Re
 ynolds and Thomas Wies stand for this view in that
  they represent and will present a particular veri
 fication technology and its implementation in a sy
 stem in order to successfully apply the approach t
 o real world verification problems.</p>\n\n  <p>Th
 e school is synchronized with the SC2 Summer Schoo
 l 2017, happening at the same time in the same pla
 ce. The deadline for application is June 1st, 2017
 .</p>\n
URL:http://www.mpi-inf.mpg.de/vtsa17/
CONTACT:fkunze at mpi-inf.mpg.de
END:VEVENT
END:VCALENDAR