1. TACAS 1995: Aarhus, Denmark