<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<div class="">14th International Workshop on Numerical Software Verification, 18-19 July 2021</div>
<div class=""><br class="">
</div>
<div class="">A workshop affiliated with CAV 2021 - Online</div>
<div class=""><br class="">
</div>
<div class="">Web Page: <a href="https://nsv2021.github.io" class="">https://nsv2021.github.io</a></div>
<div class=""><br class="">
</div>
<div class="">Submission link: <a href="https://easychair.org/conferences/?conf=nsv21" class="">https://easychair.org/conferences/?conf=nsv21</a></div>
<div class=""><br class="">
</div>
<div class="">DEADLINE EXTENSION: 7 May (See below.)</div>
<div class=""><br class="">
</div>
<div class="">Description of the Workshop</div>
<div class="">===========================</div>
<div class=""><br class="">
</div>
<div class="">Numerical computations are ubiquitous in digital systems: supervision, prediction, simulation and signal processing rely heavily on numerical calculus to achieve desired goals. Design and verification of numerical algorithms has a unique set of
challenges, which set it apart from rest of software verification.</div>
<div class=""><br class="">
</div>
<div class="">The implementation of numerical techniques on modern hardware adds another layer of approximation because of the use of finite representations of infinite precision numbers that usually lack basic arithmetic properties such as commutativity and
associativity.</div>
<div class=""><br class="">
</div>
<div class="">Finally, the development and analysis of cyber-physical systems (CPS) which involve the interacting continuous and discrete components pose a further challenge. It is hence imperative to develop logical and mathematical techniques for the reasoning
about programmability and reliability.</div>
<div class=""><br class="">
</div>
<div class="">The NSV workshop is dedicated to the development of such techniques.</div>
<div class=""><br class="">
</div>
<div class="">This year, the NSV workshop is hosting a *special session on numerical computations in machine learning*. This includes, but is not limited to, performance vs accuracy trade-offs, reliability, robustness, co-design of hardware and software for
numerical computations in machine learning frameworks.</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Topics</div>
<div class="">======</div>
<div class=""><br class="">
</div>
<div class="">The scope of the workshop includes, but is not restricted to, the following topics:</div>
<div class=""><br class="">
</div>
<div class="">Quality of finite precision numerics</div>
<div class="">- Representations of real numbers such as dfloat, finite precision, logarithmic number systems, etc</div>
<div class=""><br class="">
</div>
<div class="">Validation and verification of machine learning algorithms</div>
<div class="">- Performance-accuracy trade-offs in floating point representations in machine learning</div>
<div class="">- Robustness, reliability, and hardware software co-design for numerical computations in machine learning</div>
<div class=""><br class="">
</div>
<div class="">Validation and verification in scientific computing and simulations</div>
<div class="">- Specifications of correctness of numerical algorithms</div>
<div class="">- Numerical optimization methods</div>
<div class=""><br class="">
</div>
<div class="">Hybrid systems and control software verification</div>
<div class="">- Quantitative and qualitative analysis of hybrid systems</div>
<div class="">- Optimal control and synthesis of dynamical systems</div>
<div class="">- Applications in space, avionics, automotive, systems biology, etc</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Important Dates</div>
<div class="">===============</div>
<div class=""><br class="">
</div>
<div class="">Submissions deadline (extended): May 7, 2021 23:59 (AoE)</div>
<div class="">Notification: May 25, 2021</div>
<div class="">Final version: June 2, 2021</div>
<div class="">Workshop: July 18-19, 2021</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Submission information</div>
<div class="">======================</div>
<div class=""><br class="">
</div>
<div class="">We solicit regular and short papers. Paper submission must be performed via EasyChair.</div>
<div class=""><br class="">
</div>
<div class="">Regular papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are under submission. Submitted papers will be judged on the basis of significance,
relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant.</div>
<div class=""><br class="">
</div>
<div class="">Regular paper submissions should not exceed 15 pages in LNCS style, plus possibly bibliography and appendices. However, program committee members are not required to read the appendices, thus papers must be intelligible without them. </div>
<div class=""><br class="">
</div>
<div class="">Short papers are also welcome: they should present tools, benchmarks, case-studies or be extended abstracts of ongoing research. Short papers should not exceed 6 pages, excluding extra material as above. </div>
<div class=""><br class="">
</div>
<div class="">All accepted papers will be published as Lecture Notes in Computer Science (LNCS) with Springer Verlag. </div>
<div class=""><br class="">
</div>
<div class=""><a href="http://www.springer.com/lncs" class="">http://www.springer.com/lncs</a></div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Invited Speakers</div>
<div class="">================</div>
<div class="">Stanley Bak, Stony Brook University</div>
<div class="">Eva Darulova, Max Planck Institute for Software Systems</div>
<div class="">Sanjit Seshia, University of California, Berkeley</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">PC Chairs</div>
<div class="">======</div>
<div class=""><br class="">
</div>
<div class="">Rayna Dimitrova, CISPA Helmholtz Center for Information Security, Germany</div>
<div class="">Chuchu Fan, Massachusetts Institute of Technology, USA</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Program Committee</div>
<div class="">=================</div>
<div class=""><br class="">
</div>
<div class="">Houssam Abbas, Oregon State University</div>
<div class="">Jyotirmoy Deshmukh, University of Southern California</div>
<div class="">Bruno Dutertre, SRI International</div>
<div class="">Sicun Gao, University of California San Diego</div>
<div class="">Mirco Giacobbe, University of Oxford</div>
<div class="">Taylor T Johnson, Vanderbilt University</div>
<div class="">Soonho Kong, Toyota Research Institute</div>
<div class="">Laura Nenzi, University of Trieste</div>
<div class="">Nicola Paoletti, Royal Holloway, University of London</div>
<div class="">Yasser Shoukry, University of California, Irvine</div>
<div class="">Miriam García Soto, IST Austria</div>
<div class="">Sadegh Soudjani, Newcastle University</div>
<div class="">Hoang-Dung Tran, Vanderbilt University</div>
<div class="">Tichakorn (Nok) Wongpiromsarn, Iowa State University</div>
<div class="">Paolo Zuliani, Newcastle University</div>
<div class=""><br class="">
</div>
<div class=""><br class="">
</div>
<div class="">Steering Committee</div>
<div class="">==================</div>
<div class=""><br class="">
</div>
<div class="">Sergiy Bogomolov (Newcastle University, UK)</div>
<div class="">Radu Grosu (TU Vienna, Austria)</div>
<div class="">Matthieu Martel (Université de Perpignan, France)</div>
<div class="">Pavithra Prabhakar (Kansas State University, USA)</div>
<div class="">Sriram Sankaranarayanan (UC Boulder, USA)</div>
</body>
</html>