This course will be listed for credit at SFU. Students from external universities may be able to obtain course credit as well. Details. Taking the course for credit is not a requirement for participating fully in the program.


Applicants must have successfully completed basic undergraduate calculus and differential equations. Some experience in scientific computing, analysis or dynamical systems would be helpful but is not required. More important is mathematical maturity, a strong interest, and a willingness to get one's hands dirty with mathematical objects using pencil and paper and on the computer.

Program structure

Most days will have lectures in the mornings and practical activities in the afternoons. The morning lectures will be given by J.P. Lessard , J.B. van den Berg or JF Williams . The afternoon sessions will be headed up graduate students or the lecturers as appropriate. Some afternoon sessions will be focussed on problems to cement the lecture material, others will focus on using the computer.

The first week will focus on background analytical material in the mornings and the basics of matlab and interval arithmetic in the afternoons. The second will focus on a framework for computer validated proofs and some examples from dynamical systems. The final week will have students working in teams to construct such a proof.


The main text in the area is Validated numerics by Warwick Tucker . Lecture notes by the lecturers will also be distributed.