F* The ALGORITHM! Workshop