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/8929/21-
 --26-May-2017-7th-Summer-School-on-Formal-Techniqu
 es-Atherton-CA-U-S-A-
DTSTAMP:20170413T170435
SUMMARY:7th Summer School on Formal Techniques, At
 herton CA, U.S.A.
DTSTART;VALUE=DATE:20170521
DTEND;VALUE=DATE:20170526
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 seven
 th in the series, will focus on the principles and
  practice of formal techniques, with a strong emph
 asis on the hands-on use and development of this t
 echnology. It primarily targets graduate students 
 and young researchers who are interested in develo
 ping and using formal techniques in their research
 . A prior background in formal methods is helpful 
 but not required. Participants at the school will 
 have a seriously fun time experimenting with the t
 ools and techniques presented in the lectures duri
 ng laboratory sessions.  The main lectures in the 
 summer school will be preceded by a background cou
 rse on logic taught by Natarajan Shankar (SRI)and 
 Stephane Graham-Lengrand (Ecole Polytechnique) on 
 "Speaking Logic".
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 seventh in the series, will foc
 us on the principles and practice of formal techni
 ques, with a strong emphasis on the hands-on use a
 nd development of this technology. It primarily ta
 rgets graduate students and young researchers who 
 are interested in developing and using formal tech
 niques in their research. A prior background in fo
 rmal methods is helpful but not required. Particip
 ants at the school will have a seriously fun time 
 experimenting with the tools and techniques presen
 ted in the lectures during laboratory sessions.</p
 >\n\n  <p>The main lectures in the summer school w
 ill be preceded by a background course on logic ta
 ught by Natarajan Shankar (SRI)and Stephane Graham
 -Lengrand (Ecole Polytechnique) on &quot;Speaking 
 Logic&quot;.</p>\n
URL:http://fm.csl.sri.com/SSFT17
END:VEVENT
END:VCALENDAR