CINXE.COM

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> <html> <head> <title>PLPV: Programming Languages meets Program Verification 2026 2025 2024 ...</title> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"> <meta name="description" content="PLPV: Programming Languages meets Program Verification 2026 2025 2024 ..."> <meta name="ROBOTS" content="INDEX,NOFOLLOW"> <link rel="stylesheet" type="text/css" href="/cfp/styles/wikicfp.css?v=2"> <link rel="shortcut icon" href="/cfp/images/wikicfp.ico">  <script async src="https://www.googletagmanager.com/gtag/js?id=UA-2351831-1"></script> <script> window.dataLayer = window.dataLayer || []; function gtag(){dataLayer.push(arguments);} gtag('js', new Date()); gtag('config', 'UA-2351831-1'); </script> <script type="text/javascript"> function recordOutboundLink(link, category, action, newtab) { try { _gaq.push(['_trackEvent', category, action]); if (newtab > 0) setTimeout('window.open("' + link.href + '", "_newtab")', 100); else setTimeout('document.location="' + link.href + '"', 100); }catch(err){} } </script> <script src="https://www.semanticscholar.org/js/wikicfp-embed.js" async></script> </head> <body bgcolor="#ffffee"> <div style="padding: 0px; position: absolute; top:1px; left:2px; right:11px; max-width:1251px; min-width: 995px"> <div class="logo"> <table cellspacing="0"><tr valign="bottom"> <td align="left"> <img src="/cfp/images/wikicfplogo-90.png" style="cursor:pointer; vertical-align:-7px;" onclick="document.location.href='/'" width="265" height="90" alt="WikiCFP"> </td> </tr></table> </div> <div class="topright" style="float: right;"> <div id="s2-search" style="margin-top: 20px;"></div> </div> </div> <div class="topright" style="height: 81px;"> </div> <div class="navsec"> <div class="menusec"> <a class="nav" href="/cfp/home" accesskey="h">Home</a> <ul> <li style="margin:0 0 0 -20;"><a class="nav" href="/cfp/servlet/user.regin?mode=login">Login</a></li><li style="margin:0 0 0 -20;"><a class="nav" href="/cfp/servlet/user.regin?mode=register">Register</a></li><li style="margin:0 0 0 -20;"><a class="nav" href="/cfp/servlet/user.profile">Account</a></li><li style="margin:0 0 0 -20;"><a class="nav" href="/cfp/servlet/user.logout">Logout</a></li> </ul> <a class="nav" href="/cfp/allcat" accesskey="c">Categories</a><br> <a class="nav" href="/cfp/allcfp" accesskey="p">CFPs</a> <ul> <li style="margin:0 0 0 -20;"><a class="nav" href="/cfp/servlet/event.trycfp">Post a CFP</a></li> </ul> <a class="nav" href="/cfp/series?t=c&i=A" accesskey="p">Conf Series</a>  <br>  <a class="nav" href="/cfp/servlet/event.showlist?ltype=w">My List</a><br> <ul> <li style="margin:0 0 0 -20;"><a class="nav" href="/cfp/servlet/event.showtl?">Timeline</a></li> </ul> <a class="nav" href="/cfp/servlet/event.showlist?ltype=a">My Archive</a><br> <a class="nav" href="http://www.todordimitrov.de/cfp-app/index.html" target="_blank">On iPhone</a><br> <a class="nav" href="https://play.google.com/store/apps/details?id=net.kuratkoo.wikicfp" target="_blank">On Android</a><br> <hr> <div class="searchbox"> <form method="get" action="/cfp/servlet/tool.search" STYLE="margin: 0px; padding: 0px;"> <table align="center" cellpadding="0" cellspacing="0"> <tr><td align="center" colspan="2"> <input name="q" placeholder="search CFPs" type="text" style="width:136px" value="" TABINDEX=100> </td></tr> <tr> <td align="left"><select class="searchbox" name="year" TABINDEX=101> <option value="t" selected="selected" > 2025</option> <option value="n" > 2026 </option> <option value="f" > 2025+ </option> <option value="a" > all </option> </select></td> <td align="right"><input class="searchbox" type="submit" value="Search" TABINDEX=102></td> </tr> </table> </form> </div> </div> <div class="infosec" style="width: 160px; margin: 0px; padding: 0px; margin-top: 5px;"> <a href="https://www.semanticscholar.org/?utm_source=WikiCFP&utm_medium=Display&utm_term=home&utm_content=semantic-scholar-rail-try-it&utm_campaign=WikiCFP%20Test"><img src="/cfp/images/wikicfp_creative.jpg" width="160" height="600" border="0" alt=""></a> </div>   </div> <div class="contsec"><center> <table cellpadding="1" cellspacing="1" align="center" width="100%"> <tr><td><table cellpadding="0" cellspacing="0" align="left"> <tr><td align="left"><h2> PLPV: Programming Languages meets Program Verification </h2></td></tr> <tr><td align="left"><h3> <span id="share-buttons"> <a href="http://www.facebook.com/sharer.php?u=http://wikicfp.com/cfp/program?id=2371&s=PLPV&f=Programming" target="_blank"><img src="/cfp/images/share/facebook.png" alt="Facebook"/></a><a href="http://twitter.com/share?url=http://wikicfp.com/cfp/program?id=2371&s=PLPV&f=Programming&text=PLPV: Programming Languages meets Program Verification" target="_blank"><img src="/cfp/images/share/twitter.png" alt="Twitter" /></a><a href="http://www.linkedin.com/shareArticle?mini=true&url=http://wikicfp.com/cfp/program?id=2371&s=PLPV&f=Programming" target="_blank"><img src="/cfp/images/share/linkedin.png" alt="LinkedIn" /></a><a href="https://plus.google.com/share?url=http://wikicfp.com/cfp/program?id=2371&s=PLPV&f=Programming" target="_blank"><img src="/cfp/images/share/google.png" alt="Google" /></a></span> </h3></td></tr> <tr><td> </td></tr> </table></td></tr> <tr><td><table cellpadding="0" cellspacing="0" align="left" width="100%"> <tr><td align="left"><h3><span class="theme">Past:</span>   Proceedings on <a href="http://dblp.uni-trier.de/db/conf/plpv/index.html" target="_newtab">DBLP</a></h3></td></tr> <tr><td align="left"><h3> <span class="theme">Future:</span>  <span> Post a CFP for <a href="/cfp/servlet/event.postcfp?fullname=Programming Languages meets Program Verification&shortname=PLPV&year=2011&sid=2371">2011 or later</a>   |   Invite the Organizers <a href="http://www.addthis.com/bookmark.php" class="addthis_button_email"> <img src="http://s7.addthis.com/button1-email.gif" width="54" height="16" border="0" alt="Email" style="vertical-align:-8%;" /> </a> </span> <script src="http://s7.addthis.com/js/300/addthis_widget.js#async=1" type="text/javascript"></script> </h3></td></tr> </table></td></tr> <tr><td> </td></tr> <tr><td> </td></tr> <tr><td width="98%" align="center" nowrap> <h3><span class="theme">All CFPs on WikiCFP</span></h3> </td></tr> <tr><td align="center"> <table cellpadding="3" cellspacing="1" align="center" width="100%"> <tr align="center" bgcolor="#bbbbbb" ><td> Event </td><td> When </td><td> Where </td><td> Deadline</td></tr><tr bgcolor="#f6f6f6"> <td rowspan="2" align="left"><a href="/cfp/servlet/event.showcfp?eventid=6651&copyownerid=4918">PLPV 2010</a></td> <td align="left" colspan="3">Programming Languages meets Program Verification</td></tr> <tr bgcolor="#f6f6f6"> <td align="left">Jan 19, 2010 - Jan 19, 2010</td> <td align="left">Madrid, Spain</td> <td align="left">Oct 8, 2009</td> </tr> </table> </td></tr> <tr><td> </td></tr> <tr><td> </td></tr> <tr><td width="98%" align="center" nowrap> <h3><span class="theme">Present CFP : 2010</span></h3> </td></tr> <tr><td align="center" > <div class="cfp" align="left"> Call For Papers <br> <br> Programming Languages meets Program Verification (PLPV) 2010 <br> <br> http://slang.soe.ucsc.edu/plpv10/ <br> <br> Tuesday, January 19, 2010 <br> Madrid, Spain <br> Affiliated with POPL 2010 <br> <br> <br>Overview: The goal of PLPV is to foster and stimulate research at the <br>intersection of programming languages and program verification. Work <br>in this area typically attempts to reduce the burden of program <br>verification by taking advantage of particular semantic and/or <br>structural properties of the programming language. One example is <br>dependently typed programming languages, which leverage a language's <br>type system to specify and check richer than usual specifications, <br>possibly with programmer-provided proof terms. Another example is <br>extended static checking systems like Spec#, which extends C# with <br>pre- and postconditions along with a static verifier for these <br>contracts. <br> <br>We invite submissions on all aspects, both theoretical and practical, <br>of the integration of programming language and program verification <br>technology. To encourage cross-pollination between different <br>communities, we seek a broad the scope for PLPV. In particular, <br>submissions may have diverse foundations for verification (type-based, <br>Hoare-logic-based, etc), target diverse kinds of programming languages <br>(functional, imperative, object-oriented, etc), and apply to diverse <br>kinds of program properties (data structure invariants, security <br>properties, temporal protocols, etc). <br> <br>Submissions: Submissions should fall into one of the following three <br>categories: <br> <br> 1. Regular research papers that describe new work on the above or <br> related topics. Submissions in this category have an upper limit <br> of 12 pages, but shorter submissions are also encouraged. <br> <br> 2. Work-in-progress reports should describe new work that is <br> ongoing and may not be fully completed or evaluated. Submissions <br> in this category should be at most 6 pages in total length. <br> <br> 3. Proposals for challenge problems which the author believes is <br> are useful benchmarks or important domains for language-based <br> program verification techniques. Submissions in this category <br> should be at most 6 pages in total length. <br> <br>Submissions should be prepared with SIGPLAN two-column conference <br>format. Submitted papers must adhere to the SIGPLAN republication <br>policy. Concurrent submissions to other workshops, conferences, <br>journals, or similar forums of publication are not allowed. <br>Papers should be submitted through Easychair, <br>at http://www.easychair.org/conferences/?conf=plpv2010 <br> <br>Publication: Accepted papers will be published by the ACM and appear <br>in the ACM digital library. <br> <br>Student Attendees: Students with accepted papers or posters are <br>encouraged to apply for a SIGPLAN PAC grant that will help to cover <br>travel expenses to PLPV. Details on the PAC program and the <br>application can be found on the workshop web page. PAC also offers <br>support for companion travel. <br> <br>Important Dates: <br> <br> * Electronic submission: October 8, 2009, 11:59pm Samoa time (UTC-11) <br> * Notification: November 8, 2009 <br> * Final version: November 17, 2009 <br> * Workshop: January 19, 2010 <br> <br>Organizers: <br> <br> * Cormac Flanagan (University of California, Santa Cruz) <br> * Jean-Christophe Filli芒tre (CNRS) <br> <br>Program Committee: <br> <br> * Adam Chlipala (Harvard University) <br> * Ranjit Jhala (University of California, San Diego) <br> * Joseph Kiniry (University College Dublin) <br> * Rustan Leino (Microsoft Research) <br> * Xavier Leroy (INRIA Paris-Rocquencourt) <br> * Conor McBride (University of Strathclyde) <br> * Andrey Rybalchenko (Max Planck Institute for Software Systems) <br> * Tim Sheard (Portland State University) <br> * Stephanie Weirich (University of Pennsylvania) <br> </div> </td></tr> <tr><td> </td></tr> </table> </center></div> <div class="contsec"> <center><h3> Related Resources </h3></center> <div class="cfp" align="left"> <table cellpadding="0" cellspacing="0px" align="center" width="100%"> <tr valign="top"> <td> <table cellpadding="4" cellspacing="3" align="center" width="100%"> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=185779">SETTA 2025</a>   11th Symposium on Dependable Software Engineering: Theories, Tools and Applications </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=185538">ASPLOS 2026</a>   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems - Summer </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=181461">OOPSLA 2025 Round 2 2025</a>   Conference on Object-Oriented Programming Systems, Languages, and Applications (Round 2) </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=185101">VL/HCC 2025</a>   IEEE Symposium on Visual Languages and Human-Centric Computing </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=185537">ASPLOS 2026</a>   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems - Spring </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=182556">TASE 2025</a>   19th International Symposium on Theoretical Aspects of Software Engineering </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=182557">TASE 2025</a>   19th International Symposium on Theoretical Aspects of Software Engineering </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=185755">LCTES 2025</a>   The 26th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=182756">SLE 2025</a>   1st CfP: SLE 2025 - 18th ACM SIGPLAN International Conference on Software Language Engineering </td></tr> <tr><td> <a href="/cfp/servlet/event.showcfp?eventid=185017">SLATE 2025</a>   Symposium on Languages, Applications and Technologies </td></tr> </table> </td> </tr> </table> </div> </center> </div> <DIV class="footer"> <center> <table cellpadding="0" cellspacing="0" width="100%"><tr valign="top"> <td align="left"> <table cellpadding="0"> <tr><td align="left"> <a href="/cfp/about.jsp">About Us</a> | <a href="mailto:wikicfp@gmail.com">Contact Us</a> | <a href="/cfp/data.jsp">Data</a> | <a href="/cfp/privacy.jsp">Privacy Policy</a> | <a href="/cfp/terms.jsp">Terms and Conditions</a> </td></tr> <tr><td align="left"> Partners: <a href="https://www.semanticscholar.org/?utm_source=WikiCFP&utm_medium=Display&utm_term=home&utm_content=semantic-scholar-rail-try-it&utm_campaign=WikiCFP%20Test">AI2's Semantic Scholar</a> </td></tr> <tr><td align="left"> This wiki is licensed under a <a rel="license" href="http://creativecommons.org/licenses/by-sa/3.0/">Creative Commons Attribution-Share Alike 3.0 License</a>. </td></tr></table> </td> <td align="right" style="width:1%">   </td> </tr></table> </center> </div> <script type="text/javascript"> function loadAddThis() { addthis.init() } loadAddThis(); </script>  <script type="text/javascript"> _qoptions={ qacct:"p-bavkT9R1uB7qI" }; </script> <script type="text/javascript" src="http://edge.quantserve.com/quant.js"></script> <noscript> <img src="http://pixel.quantserve.com/pixel/p-bavkT9R1uB7qI.gif" style="display: none;" border="0" height="1" width="1" alt="Quantcast"/> </noscript>  </body> </html>