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/2014/newsitem/5724/19-
 23-May-2014-4th-Summer-School-on-Formal-Techniques
 -SSFT14-Atherton-CA-U-S-A-
DTSTAMP:20140424T000000
SUMMARY:4th Summer School on Formal Techniques (SS
 FT14), Atherton CA, U.S.A.
DTSTART;VALUE=DATE:20140519
DTEND;VALUE=DATE:20140523
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 fourt
 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 will h
 ave a seriously fun time experimenting with the to
 ols and techniques presented in the lectures durin
 g laboratory sessions.    Applicants are encourage
 d to submit their applications before April 30, 20
 14, since there are only a limited number of space
 s available. Non-US applicants requiring US visas 
 are urged to apply early. For more information, se
 e http://fm.csl.sri.com/SSFT14
X-ALT-DESC;FMTTYPE=text/html:\n      <p>Techniques
  based on formal logic, such as model checking,\n 
        satisfiability, static analysis, and automa
 ted theorem proving, are\n        finding a broad 
 range of applications in modeling, analysis,\n    
     verification, and synthesis.  This school, the
  fourth in the series,\n        will focus on the 
 principles and practice of formal techniques, with
  a\n        strong emphasis on the hands-on use an
 d development of this\n        technology.  It pri
 marily targets graduate students and young\n      
   researchers who are interested in developing and
  using formal\n        techniques in their researc
 h.  A prior background in formal methods\n        
 is helpful but not required.   Participants at the
  school will have a\n        seriously fun time ex
 perimenting with the tools and techniques\n       
  presented in the lectures during laboratory sessi
 ons.\n      </p>\n    \n      <p>\n        Applica
 nts are encouraged to submit their applications be
 fore\n        April 30, 2014, since there are only
  a limited number of\n        spaces available.  N
 on-US applicants requiring US visas are\n        u
 rged to apply early. For more information, see\n  
       <a target="_blank" href="http://fm.csl.sri.c
 om/SSFT14">http://fm.csl.sri.com/SSFT14</a>\n     
  </p>\n    
URL:/NewsandEvents/Archives/2014/newsitem/5724/19-
 23-May-2014-4th-Summer-School-on-Formal-Techniques
 -SSFT14-Atherton-CA-U-S-A-
END:VEVENT
END:VCALENDAR