PIMS-SFU Undergraduate Summer School on Rigorous Computing