Session 3

Chair: Josef Urban

• 15:15: John Harrison. Adventures in Verifying Arithmetic.