I will be out of the office starting 13/08/2005 and will not return until 03/09/2005. I will be out of the office and will not be able to look at my email. If the question is regarding the IBM Verification Conference http://www.haifa.il.ibm.com/Workshops/verification2005/ please contact Avi Ziv at aziv@il.ibm.com If the question is regarding ConTest please contact Eitan Farchi at farchi@il.ibm.com Shmuel
