IFIP TC1 page has moved to: http://www.ifip-tc1.org/