Kopie Formal Methods Workshop