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/2024/newsitem/14464/14
 -January-2024-Dafny-2024
DTSTAMP:20230904T144311
SUMMARY:Dafny 2024
DTSTART;TZID=Europe/Amsterdam:20240114T000000
DTEND;TZID=Europe/Amsterdam:20240114T235900
LOCATION:London, UK
DESCRIPTION:Dafny is a verification-aware programm
 ing language that has native support for specifica
 tions and proofs, and is equipped with an auto-act
 ive static program verifier. The workshop aims to 
 provide a platform for reports about applications 
 of Dafny in industry, research on programming-lang
 uage concepts that are relevant to Dafny, and talk
 s about Dafny's role in teaching.  To give a prese
 ntation at the workshop, please submit an anonymou
 s extended abstract (2-6 pages, excluding referenc
 es) via hotcrp. Please use the acmart two-column s
 igplan sub-format LaTeX style to prepare your subm
 ission. We don’t intend to publish the workshop’s 
 submissions. However, presentations may be recorde
 d and the videos may be made publicly available.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>Dafny is 
 a verification-aware programming language that has
  native support for specifications and proofs, and
  is equipped with an auto-active static program ve
 rifier. The workshop aims to provide a platform fo
 r reports about applications of Dafny in industry,
  research on programming-language concepts that ar
 e relevant to Dafny, and talks about Dafny's role 
 in teaching.</p>\n</div><div>\n  <p>To give a pres
 entation at the workshop, please submit an anonymo
 us extended abstract (2-6 pages, excluding referen
 ces) via <a href="https://dafny24.hotcrp.com" targ
 et="_self">hotcrp</a>. Please use the <a href="htt
 ps://www.sigplan.org/Resources/Author/" target="_b
 lank" rel="noopener">acmart two-column sigplan sub
 -format LaTeX style</a> to prepare your submission
 . We don’t intend to publish the workshop’s submis
 sions. However, presentations may be recorded and 
 the videos may be made publicly available.</p>\n</
 div>
URL:https://popl24.sigplan.org/home/dafny-2024
CONTACT:Stefan Zetzsche at stefanze at amazon.com
END:VEVENT
END:VCALENDAR