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