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.