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
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
\nThe 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". \n
\n \nApplicants 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 http://fm.csl.sri.com/SSFT16\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