IJCAR'06 Workshop : Disproving'06: Non-Theorems, Non-Validity, Non-Provability