Title: Enhancing Technologies with Quantum Phenomena: Problems and Solutions Speaker: Dr. Yaakov S. Weinstein, Group Leader for the Quantum Information Science Group, The MITRE Corporation Date: Monday, September 12, 2016…
Tag: 2016 Seminars
07-25-2016 | Erika Brattich: Applications of Environmental Radionuclides 210Pb and 7Be to Atmospheric Studies at the WMO-GAW Station of Mt. Cimone (2165 m a.s.l., Italy)
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,…
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:…