COMPUMAT2000 VII Congress of Mathematics and Computer Science