Ada-Europe 2000: Ada-Europe: International Conference on Reliable Software Technologies 2000