Working Conference "Programming Languages and System Design"