MFCSIT2000 First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology