Contact Person : Enric Rodrfguez-Carbonell; Last Date for the submission of abstract : 40184; 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.