IFM'2000, the Second International Conference on Integrated Formal Methods