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/2020/newsitem/11352/28
 ---29-May-2020-16th-International-Workshop-on-the-
 ACL2-Theorem-Prover-and-Its-Application-ACL2-2020-
 Online
DTSTAMP:20200430T202639
SUMMARY:16th International Workshop on the ACL2 Th
 eorem Prover and Its Application (ACL2 2020), Onli
 ne
DTSTART;VALUE=DATE:20200528
DTEND;VALUE=DATE:20200529
LOCATION:Online
DESCRIPTION:The ACL2 Workshop series is the major 
 technical forum for users of the ACL2 theorem prov
 ing system to present research related to the ACL2
  theorem prover and its applications. ACL2 is an i
 ndustrial-strength automated reasoning system, the
  latest in the Boyer-Moore family of theorem prove
 rs. ACL2-2020 is a two-day workshop to be held in 
 Austin, Texas, USA, on May 28-29, 2020. It is the 
 16th in the series of ACL2 workshops, which occur 
 approximately every 18 months. The workshop will f
 eature invited keynotes, technical papers, and rum
 p sessions that discuss ongoing research.  Due to 
 the COVID-19 pandemic, the ACL2 Workshop 2020 will
  take place online.  We invite ACL2 users, experts
  and beginners alike, users of other theorem prove
 rs, and persons interested in the applications of 
 theorem proving technology to submit papers to the
  Workshop. We strongly encourage submissions from 
 new members of the ACL2 community, including gradu
 ate students and researchers who are primarily inv
 olved with other theorem provers or formal methods
 . The ACL2 Workshop accepts both long papers (up t
 o sixteen pages) and extended abstracts (up to two
  pages).
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The ACL2 
 Workshop series is the major technical forum for u
 sers of the ACL2 theorem proving system to present
  research related to the ACL2 theorem prover and i
 ts applications. ACL2 is an industrial-strength au
 tomated reasoning system, the latest in the Boyer-
 Moore family of theorem provers. ACL2-2020 is a tw
 o-day workshop to be held in Austin, Texas, USA, o
 n May 28-29, 2020. It is the 16th in the series of
  ACL2 workshops, which occur approximately every 1
 8 months. The workshop will feature invited keynot
 es, technical papers, and rump sessions that discu
 ss ongoing research.</p>\n\n  <p>Due to the COVID-
 19 pandemic, the ACL2 Workshop 2020 will take plac
 e online.</p>\n</div><div>\n  <p>We invite ACL2 us
 ers, experts and beginners alike, users of other t
 heorem provers, and persons interested in the appl
 ications of theorem proving technology to submit p
 apers to the Workshop. We strongly encourage submi
 ssions from new members of the ACL2 community, inc
 luding graduate students and researchers who are p
 rimarily involved with other theorem provers or fo
 rmal methods. The ACL2 Workshop accepts both long 
 papers (up to sixteen pages) and extended abstract
 s (up to two pages).</p>\n</div>
URL:http://acl2-2020.info/
END:VEVENT
END:VCALENDAR