Preliminary Programme IFIP TC2 working conference on Algorithmic Languages and Calculi See original record