Proceedings of the 1983 computer science conference