I am presently doing research towards Master's degree in Computer Science at Concordia University (Montreal). My research includes formal methods and languages. I will be using Larch/C++. I would like to be included into mailing list. My e-mail address is: umansky@cs.concordia.ca Ilya