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/2021/newsitem/12751/22
 ---28-May-2021-Tenth-Summer-School-on-Formal-Techn
 iques-Virtual
DTSTAMP:20210516T001905
SUMMARY:Tenth Summer School on Formal Techniques, 
 Virtual
DTSTART;VALUE=DATE:20210522
DTEND;VALUE=DATE:20210528
LOCATION:Virtual
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 tenth
  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 can expec
 t to have a seriously fun time experimenting with 
 the tools and techniques presented in the lectures
  during laboratory sessions.
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 tenth in the series, will focus
  on the principles and practice of formal techniqu
 es, with a strong emphasis on the hands-on use and
  development of this technology. It primarily targ
 ets graduate students and young researchers who ar
 e interested in studying and using formal techniqu
 es in their research. A prior background in formal
  methods is helpful but not required. Participants
  at the school can expect to have a seriously fun 
 time experimenting with the tools and techniques p
 resented in the lectures during laboratory session
 s.</p>\n
URL:http://fm.csl.sri.com/SSFT21
END:VEVENT
END:VCALENDAR