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/2018/newsitem/9851/19-
 July-2018-Third-Workshop-on-Fun-With-Formal-Method
 s-FWFM-2018-Oxford-England
DTSTAMP:20180405T233827
SUMMARY:Third Workshop on Fun With Formal Methods 
 (FWFM-2018), Oxford, England
DTSTART;VALUE=DATE:20180719
DTEND;VALUE=DATE:20180719
LOCATION:Oxford, England
DESCRIPTION:The workshop will be held in Universit
 y of Oxford as a part of Federated Logic Conferenc
 e FLOC-2018 ( http://www.floc2018.org/ ) in affili
 ation with 30th International Conference on Comput
 er Aided Verification ( http://cavconference.org/2
 018/ ) The primary purpose of the workshop series 
 on Fun With Formal Methods (FWFM) is to popularize
  and disseminate the best practice of popularizati
 on of Formal Methods.  Extended abstracts and pape
 rs on topics related to FWFM are solicited. There 
 is no any strict limit for page number or style, b
 ut it is recommended to be in range 2-4 pages for 
 extended abstracts and 4-16 pages for papers. Pape
 rs already published somewhere are also welcome bu
 t must make it explicit their publication status (
 for including to proceedings).
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The works
 hop will be held in University of Oxford as a part
  of Federated Logic Conference FLOC-2018 ( http://
 www.floc2018.org/ ) in affiliation with 30th Inter
 national Conference on Computer Aided Verification
  ( http://cavconference.org/2018/ ) The primary pu
 rpose of the workshop series on Fun With Formal Me
 thods (FWFM) is to popularize and disseminate the 
 best practice of popularization of Formal Methods.
 </p>\n</div><div>\n  <p>Extended abstracts and pap
 ers on topics related to FWFM are solicited. There
  is no any strict limit for page number or style, 
 but it is recommended to be in range 2-4 pages for
  extended abstracts and 4-16 pages for papers. Pap
 ers already published somewhere are also welcome b
 ut must make it explicit their publication status 
 (for including to proceedings).</p>\n</div>
URL:http://persons.iis.nsk.su/en/FWFM2018
END:VEVENT
END:VCALENDAR