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/2016/newsitem/7282/22-
 27-May-2016-6th-Summer-School-on-Formal-Techniques
 -SSFT16-Atherton-CA-U-S-A-
DTSTAMP:20160407T000000
SUMMARY:6th Summer School on Formal Techniques (SS
 FT16), Atherton CA, U.S.A.
DTSTART;VALUE=DATE:20160522
DTEND;VALUE=DATE:20160527
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 sixth
  in the series, will focus on the principles and p
 ractice of formal techniques, with a strong emphas
 is on the hands-on use and development of this tec
 hnology. It primarily targets graduate students an
 d young researchers who are interested in studying
  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 tools
  and techniques presented in the lectures during l
 aboratory sessions.   The main lectures in the sum
 mer school will be preceded by a background course
  on logic taught by Natarajan Shankar (SRI)and Ste
 phane Graham-Lengrand (Ecole Polytechnique) on "Sp
 eaking Logic".   Applicants are urged to submit th
 eir applications before April 30, 2016, since ther
 e are only a limited number of spaces available. N
 on-US applicants requiring US visas are requested 
 to apply early. For more information, see http://f
 m.csl.sri.com/SSFT16
X-ALT-DESC;FMTTYPE=text/html:\n      <p>Techniques
  based on formal logic, such as model checking,\n 
      satisfiability, static analysis, and automate
 d theorem proving,\n      are finding a broad rang
 e of applications in modeling, analysis,\n      ve
 rification, and synthesis. This school, the sixth 
 in the\n      series, will focus on the principles
  and practice of formal\n      techniques, with a 
 strong emphasis on the hands-on use and\n      dev
 elopment of this technology. It primarily targets 
 graduate\n      students and young researchers who
  are interested in studying\n      and using forma
 l techniques in their research. A prior\n      bac
 kground in formal methods is helpful but not\n    
   required. Participants at the school will have a
  seriously fun\n      time experimenting with the 
 tools and techniques presented in\n      the lectu
 res during laboratory sessions.\n      </p>\n     
  <p>The main lectures in the summer school will be
  preceded by a background \n        course on logi
 c taught by Natarajan Shankar (SRI)and Stephane \n
         Graham-Lengrand (Ecole Polytechnique) on &
 quot;Speaking Logic&quot;. \n      </p>\n    \n   
    <p>Applicants are urged to submit their applica
 tions before\n      April 30, 2016, since there ar
 e only a limited number of spaces\n      available
 .  Non-US applicants requiring US visas are reques
 ted\n      to apply early.  For more information, 
 see\n      <a target="_blank" href="http://fm.csl.
 sri.com/SSFT16">http://fm.csl.sri.com/SSFT16</a>\n
       </p>\n    
URL:/NewsandEvents/Archives/2016/newsitem/7282/22-
 27-May-2016-6th-Summer-School-on-Formal-Techniques
 -SSFT16-Atherton-CA-U-S-A-
END:VEVENT
END:VCALENDAR