2nd International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2010)

Venue: Perpignan

Location: Perpignan, France

Event Date/Time: Sep 13, 2010 End Date/Time: Sep 13, 2010
Report as Spam

Description

Abstract domains are a key notion in Abstract Interpretation theory and practice. The Second International Workshop on Numerical and Symbolic Abstract Domains is intended to discuss on-going works and ideas in the field.

Venue