Tag: Frederic Gilbert

07-22-2016 | Carlos Lopez Pombo: Practical Aspects of Connecting Theories Through Algebraic Relations | Frederic Gilbert: Proof Certificates in PVS

Jul 19, 2016

—

by

domadmin

in Seminars

Title #1: Practical Aspects of Connecting Theories Through Algebraic Relations Speaker: Carlos G. Lopez Pombo, University of Buenos Aires and CONICET (Argentina) Date: Friday, July 22, 2016 Time: 10:00am Location: NIA, Room 101 Host: Mariano Moscato, Research Scientist, NIA Abstract: The problems associated to applying formal methods do not end once we write a theory…