NSAD 2026 - SPLASH/ISSTA 2026 11th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains Abstraction is an essential part of many program verification and validation (V&V) methods, making tractable computat...

NSAD will be back in 2026, co-located with SPLASH/ISSTA and SAS 🎉. Looking forward to seeing your work on abstract domains: conf.researchr.org/home/splash-...
Stay tuned for more details!

#NSAD #StaticAnalysis #AbstractInterpretation #ProgramVerification #SPLASH2026

Remembering my first major juried group exhibition in New York City. I was so elated to be chosen. Instagram:artvisionsbyveronica #corals #sea #ocean #coralreef #abstractinterpretation #jellyfish #texas #dallas #NewYorkCity #exhibition #acrylicpainting #forsale