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
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
\n \n\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 http://fm.csl.sri.com/SSFT14\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