ARS 2020: Track on Verification

Channel:
Microsoft Research
Subscribers:
351,000
Published on ● Video Link: https://www.youtube.com/watch?v=9sHSJdMf3Q0


Duration: 1:22:14
881 views
11

Track on Verification –
Sanjiva Prasad, IIT Delhi ;
S P Suresh, CMI ;
Aseem Rastogi, Microsoft Research.
Track moderator : R Ramanujam, IMSC

See more at https://www.microsoft.com/en-us/research/video/ars-2020-track-on-verification/



Other Videos By Microsoft Research


2020-03-18Auto ML and the future of self-managing networks with Dr. Behnaz Arzani | Podcast
2020-03-17Learning Visuomotor Policies for Aerial Navigation Using Cross-Modal Representations
2020-03-17Inside look at the DARPA Subterranean Urban Circuit Challenge 2020
2020-03-16Are you Exploiting Your Assumptions? Towards Effective Priors for Biomarker Discovery and...
2020-03-12Fireside Chat with Aaron Courville
2020-03-11Engineering research to life with Gavin Jancke | Podcast
2020-03-10ARS 2020: Fairness, Transparency and Privacy in Digital Systems
2020-03-10ARS 2020: Panel Discussion: Cyber Security – National Policy and Preparedness
2020-03-10ARS 2020: Privacy & Security in Healthcare
2020-03-10ARS 2020: Security & Privacy around Foundational Identity for Sovereign Nations
2020-03-10ARS 2020: Track on Verification
2020-03-05Potential and Pitfalls of AI with Dr. Eric Horvitz | Podcast
2020-03-04AI, Azure and the future of healthcare with Dr. Peter Lee | Podcast
2020-02-27Towards Mainstream Brain-Computer Interfaces (BCIs)
2020-02-27Exploring Massively Multilingual, Massive Neural Machine Translation
2020-02-27Fireside Chat with Maarten de Rijke
2020-02-26Neural architecture search, imitation learning and the optimized pipeline with Dr. Debadeepta Dey
2020-02-21Information Agents: Directions and Futures (2001)
2020-02-19Democratizing data, thinking backwards and setting North Star goals with Dr. Donald Kossmann
2020-02-19Behind the scenes on Team Explorer’s practice run at Microsoft for the DARPA SubT Urban Challenge
2020-02-12Microsoft Scheduler and dawn of Intelligent PDAs with Dr. Pamela Bhattacharya | Podcast


Tags:
Academic Research Summit 2020
MSR India
Sanjiva Prasad
S P Suresh
Aseem Rastogi
R Ramanujam
microsoft research