Proceedings of the Annual Symposium on Switching Circuit Theory and Logical Design