Conference · ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
NSAD 2026
Official page- Type
- Conference
- Organisation
- ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains
- Location
- Oakland, California, United States
- Takes place
- 7 October 2026
- Found
- 26 September 2026
About this listing
ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains. Held in Oakland, California, United States. 11th edition, on the theory, implementation, and application of abstract domains, including their use for neural networks, quantum software, blockchain, and distributed systems. Held with SPLASH 2026. Topics: program analysis, verification, formal methods, programming languages. Listed by PLFM (https://pl-fm.github.io/, MIT).
Last checked 6 October 2026. Found via PLFM (pl-fm.github.io).