Title: Symposium on Automatic Demonstration;