Title #2: “A Proof Library Shared by Different Proof Systems” Speaker #2: Gilles Dowek, Researcher, Inria & Professor, École normale de Paris-Saclay Date: Friday, April 20, 2018 Time: 2:30pm Location:…
Tag: 2018 Seminars
All 2018 Seminars
04-20-2018 | Alice Miller: Probabilistic Model Checking for UAV Strategy Generation
Title #1: “Probabilistic Model Checking for UAV Strategy Generation” Speaker #1: Alice Miller, Senior Lecturer, University of Glasgow (UK) Date: Friday, April 20, 2018 Time: 1:30pm Location: NIA, Room 137…
04-09-2018 | Kenji Uchino: Piezoelectric Devices for Crisis Technology
Title: IEEE UFFC Distinguished Lecturer: “Piezoelectric Devices for Crisis Technology” Speaker: Dr. Kenji Uchino, Professor Electrical Engineering, Director, International Center for Actuators & Transducers, Materials Research Institute, The Pennsylvania State…