NSAD 2020

The CFP of the 9th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2020) is out!
If you have any (even preliminary) result about abstract domains in general, or even numerical and symbolic domains, please submit to NSAD! Deadline: September, 4th. NSAD will be co-located with SAS and SPLASH 2020.

Leave a Reply

Your email address will not be published. Required fields are marked *