Numerical Software Verification - NSV 2020 - Call for Participation

5 views

Skip to first unread message

Peter Schrammel

unread,

Jul 9, 2020, 3:54:33 PM7/9/20

to SMT-announce

13th International Workshop on Numerical Software Verification 2020, collocated with CAV

The workshop will be held online on July 20-21, 2020.

Registration is required by July 10, 2020: http://i-cav.org/2020/attending/

Tick the NSV checkbox at the end of the registration form.

Attendance is free.

Program: https://nsv2020.github.io/

In addition to the workshop paper talks, there will be 3 invited talks:

- Naresh Shanbhag, University of Illinois at Urbana-Champaign, USA: Minimum Precision Requirements of Deep Neural Networks

- Zachary Tatlock and Pavel Panchekha, University of Washington, USA: Towards Numerical Assistants

- Nikos Arechiga, Toyota InfoTechnology Center, USA: Automatic Testing and Falsification with Dynamically Constrained Reinforcement Learning

We are looking forward to your attendance.

Best regards,

Peter & Sridhar

Reply all

Reply to author

Forward

0 new messages