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/2018/newsitem/9847/19-
 --25-May-2018-8th-Summer-School-on-Formal-Techniqu
 es-Atherton-CA-U-S-A-
DTSTAMP:20180405T234139
SUMMARY:8th Summer School on Formal Techniques, At
 herton CA, U.S.A.
DTSTART;VALUE=DATE:20180519
DTEND;VALUE=DATE:20180525
LOCATION:Atherton CA, U.S.A.
DESCRIPTION:Techniques based on formal logic, such
  as model checking, satisfiability, static analysi
 s, and automated theorem proving, are finding a br
 oad range of applications in modeling, analysis, v
 erification, and synthesis. This school, the eight
 h in the series, will focus on the principles and 
 practice of formal techniques, with a strong empha
 sis on the hands-on use and development of this te
 chnology. It primarily targets graduate students a
 nd young researchers who are interested in develop
 ing and using formal techniques in their research.
  A prior background in formal methods is helpful b
 ut not required. Participants at the school can ex
 pect to have a seriously fun time experimenting wi
 th the tools and techniques presented in the lectu
 res during laboratory sessions.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>Techniques bas
 ed on formal logic, such as model checking, satisf
 iability, static analysis, and automated theorem p
 roving, are finding a broad range of applications 
 in modeling, analysis, verification, and synthesis
 . This school, the eighth in the series, will focu
 s on the principles and practice of formal techniq
 ues, with a strong emphasis on the hands-on use an
 d development of this technology. It primarily tar
 gets graduate students and young researchers who a
 re interested in developing and using formal techn
 iques in their research. A prior background in for
 mal methods is helpful but not required. Participa
 nts at the school can expect to have a seriously f
 un time experimenting with the tools and technique
 s presented in the lectures during laboratory sess
 ions.</p>\n
URL:http://fm.csl.sri.com/SSFT18
END:VEVENT
END:VCALENDAR