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
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.
URL:http://fm.csl.sri.com/SSFT18 END:VEVENT END:VCALENDAR