Title: Applications of Environmental Radionuclides 210Pb and 7Be to Atmospheric Studies at the WMO-GAW Station of Mt. Cimone (2165 m a.s.l., Italy) Speaker: Erika Brattich, PhD, University of Bologna Date: Monday, July 25,…
Day: July 19, 2016
07-22-2016 | Carlos Lopez Pombo: Practical Aspects of Connecting Theories Through Algebraic Relations | Frederic Gilbert: Proof Certificates in PVS
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:…