Proceedings of FOSSACS 2001