CAV (Conference) (2nd 1990 Center for Discrete Mathematics and Theoretical Computer Science)