Dear friends, We are excited to share our new company name and website! Please meet Proofcraft at https://proofcraft.systems/ We will be holding 2 short virtual launches where you’ll have the opportunity to learn more and ask questions: - Australia-US virtual launch (~30min): Tue 11th May, 9am in Sydney, Mon 10th May 4pm/6pm/7pm in PST/CST/EST https://unsw.zoom.us/meeting/register/tZUodOmopzMqGdUhFWwJ-YAHf_Nuso7IW-RM - Australia-Europe virtual launch (~30min): Wed 12th May, 5pm in Sydney, Wed 12th May, 9am in CEST https://unsw.zoom.us/meeting/register/tZAlcuuvrDIvG9JenOQoGc7kuzLNAfv4g6VS Please register in advance. After registering, you will receive a confirmation email containing information about joining the meeting. Following that, we will be happy to set up individual catch-ups with interested people. (For our Sydney-based friends, we’ll send the details of the physical party separately). Looking forward to this new adventure! June, Rafal, Gerwin june.andronick@proofcraft.systems<mailto:june.andronick@proofcraft.systems> rafal.kolanski@proofcraft.systems<mailto:rafal.kolanski@proofcraft.systems> gerwin.klein@proofcraft.systems<mailto:gerwin.klein@proofcraft.systems>