<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr">The <a href="https://softwarefoundations.cis.upenn.edu/" target="_blank"><span>Software</span> <span>Foundations</span></a> team is pleased to announce another <span>new</span> volume in the series <span>and</span> significant updates to other volumes.<div><br></div><div><font color="#ff1f00"><b><span>NEW</span>!  </b></font><span>Software</span> <span>Foundations</span> volume 6, <a href="https://softwarefoundations.cis.upenn.edu/slf-current/index.html" target="_blank">Separation Logic Foundations</a>, by Arthur Charguéraud, is an in-depth introduction to separation logic—a practical approach to modular verification of imperative programs—and how to build program verification tools on top of it.</div><div><br></div><div><img src="cid:ii_kp36yg6i4" alt="image.png" width="260" height="320"><br></div><br><div><font color="#ff4114"><b><span>UPDATED</span>!</b></font>  Volume 2, <a href="https://softwarefoundations.cis.upenn.edu/plf-current/index.html" target="_blank"><i>Programming Language <span>Foundations</span></i></a><i>,</i> surveys the theory of programming languages, including operational semantics, Hoare logic, <span>and</span> static type systems.  The concrete notations in this volume have been extensively revamped for better readability, using the advanced Notation features of recent versions of Coq.  </div><div><br></div><div>The other volumes in the series have been updated to track the current Coq release and incorporate many large and small improvements made since the last release. Watch for a major update to Volume 5, <a href="http://Watch for a major update to Volume 5, Verifiable C, later this summer!">Verifiable C</a>, later this summer!</div><div><br></div><div>All <span>Software</span> <span>Foundations</span> titles are available electronically, free of charge.</div><div><br></div><div>Share <span>and</span> enjoy!</div><div style="color:rgb(136,136,136)"><br></div><div><font color="#000000">     - Benjamin</font></div><div><br></div><div><font color="#000000"><br></font></div><div style="color:rgb(136,136,136)"><br></div></div></div></div></div>