Proceedings the Thirteenth Annual Sipposim on computer