PIMS-SFU%20Undergraduate%20Summer%20School%20on%20Rigorous%20Computing