Contact Person : Matthieu Martel; Last Date for the submission of abstract : 40515; Description : Static Analysis is increasingly recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and software maintenance.