Title: 36th Annual Symposium on Foundations of Computer Science
Subjects: Electronic data processing, Congresses, Machine theory