Title: Formal Methods Seminar: “Automating Termination Proofs in PVS” Speaker: Ariane Alves Almeida, NIA visitor and PhD Candidate, University of Brasilia, Brazil Date: Friday, September 9, 2016 Time: 11:00am Location:…
Title: Formal Methods Seminar: “Automating Termination Proofs in PVS” Speaker: Ariane Alves Almeida, NIA visitor and PhD Candidate, University of Brasilia, Brazil Date: Friday, September 9, 2016 Time: 11:00am Location:…