Logic-based Program Synthesis and Transformation: LOPSTR'99
and
Static Analysis Symposium: SAS'99

Venezia, Italy, 22 - 24 September 1999

INVITED SPEAKERS

Daniel Wise
ADVANCED PROGRAM DEVELOPMENT TOOLS.
 
David McAllester
STATIC ANALYSIS AND THEOREM PROVING.

D. Sannella
ALGEBRAIC SPECIFICATION AND PROGRAM DEVELOPMENT

D. Volpano
SECURITY.