Mauricio Ayala from the University of Brasilia, who is currently visiting us, will give a talk about his work tomorrow morning. Title: SAEPTUM: a methodology of verification of TRSs via translation to PVS theories Time: Friday, 22 July, 9am (sharp) to 10am Location: Room 00.09.055 --- Alan Turing Clemens