Computer Aided Formal Reasoning (G53CFR,G54CFR) Exam The exam is going to take place Friday, 4 June 2010, 900 - 1100 in room B52 in the CS building (i.e. the room where the practicals took place). The exam will be entirely Agda based. If you have any questions about the material or general questions about the exam, please come and see me in my office (A10), Wednesday 2 June, 1330 - 1430. Course In