Proceedings of the Spring Joint Computer Conference