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/2019/newsitem/10831/13
 -July-2019-31st-International-Conference-on-Comput
 er-Aided-Verification-New-York-City-NY-U-S-A-
DTSTAMP:20190429T140316
SUMMARY:31st International Conference on Computer-
 Aided Verification, New York City NY, U.S.A.
DTSTART;VALUE=DATE:20190713
DTEND;VALUE=DATE:20190713
LOCATION:New York City NY, U.S.A.
DESCRIPTION:CAV 2019 is the 31st in a series dedic
 ated to the advancement of the theory and practice
  of computer-aided formal analysis methods for har
 dware and software systems. The conference covers 
 the spectrum from theoretical results to concrete 
 applications, with an emphasis on practical verifi
 cation tools and the algorithms and techniques tha
 t are needed for their implementation. CAV conside
 rs it vital to continue spurring advances in hardw
 are and software verification while expanding to n
 ew domains such as biological systems and computer
  security.  CAV 2019 includes the following worksh
 ops: BeMC: The Best of Model Checking (BeMC) — wor
 kshop in honor of Orna GrumbergDARS: Design and An
 alysis of Robust SystemsVMW: Verification Mentorin
 g WorkshopNSV: Numerical Software VerificationVSTT
 E: Verified Software: Theories, Tools, and Experim
 entsDemocratizing Software VerificationFoMLAS: For
 mal Methods for ML-Enabled Autonomous SystemsSYNT:
  Synthesis
X-ALT-DESC;FMTTYPE=text/html:\n  <p>CAV 2019 is th
 e 31st in a series dedicated to the advancement of
  the theory and practice of computer-aided formal 
 analysis methods for hardware and software systems
 . The conference covers the spectrum from theoreti
 cal results to concrete applications, with an emph
 asis on practical verification tools and the algor
 ithms and techniques that are needed for their imp
 lementation. CAV considers it vital to continue sp
 urring advances in hardware and software verificat
 ion while expanding to new domains such as biologi
 cal systems and computer security.</p>\n\n  <p>CAV
  2019 includes the following workshops:</p>\n\n  <
 ul>\n    <li>BeMC: The Best of Model Checking (BeM
 C) — workshop in honor of Orna Grumberg</li>\n\n  
   <li><a href="https://sites.google.com/view/dars2
 019/home">DARS: Design and Analysis of Robust Syst
 ems</a></li>\n\n    <li><a href="http://i-cav.org/
 2019/mentoring/">VMW: Verification Mentoring Works
 hop</a></li>\n\n    <li><a href="https://nsv19.mpi
 -sws.org/">NSV: Numerical Software Verification</a
 ></li>\n\n    <li><a href="https://sri-csl.github.
 io/VSTTE19/">VSTTE: Verified Software: Theories, T
 ools, and Experiments</a></li>\n\n    <li><a href=
 "https://smackers.github.io/democratizing-software
 -verification-workshop-2019/">Democratizing Softwa
 re Verification</a></li>\n\n    <li><a href="https
 ://fomlas2019.wixsite.com/fomlas2019">FoMLAS: Form
 al Methods for ML-Enabled Autonomous Systems</a></
 li>\n\n    <li><a href="https://cs.nyu.edu/acsys/s
 ynt2019/">SYNT: Synthesis</a></li>\n  </ul>\n
URL:http://i-cav.org/2019/
CONTACT:loris at cs.wisc.edu
END:VEVENT
END:VCALENDAR