From the CFP:
Static Analysis is increasingly recognised as a fundamental tool for high performance implementations and verification systems of high-level programming languages. The series of Static Analysis Symposia has served as the primary venue for presentation of theoretical, practical and applicative advances in the area
The site lists many specific topics among them: Abstract Compilation, Abstract Debugging and Testing, Abstract Model Checking, Binding-Time Analysis, Boundedness Analysis, Cache-Behavior Analysis, Exception Analysis, Hierarchies of Semantics, Partial Evaluation, Strictness Analysis and Type-Based Analysis.
The site links to previous conferences and proceedings.
And oh, it in Paris!
Posted to theory by Ehud Lamm on 2/8/01; 1:42:14 PM