Skip to content

Latest commit

 

History

History
114 lines (100 loc) · 4.75 KB

presentations.md

File metadata and controls

114 lines (100 loc) · 4.75 KB
Raw
title layout description image nav-menu order show_tile
Presentations
landing
Presentations from iCyPhy
assets/images/presentations.jpeg
true
3
true
<iframe width="560" height="315" src="https://www.youtube.com/embed/UZ1P70Rz5sY" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

10-Minute Demonstration of Lingua Franca

by Shaokai Lin, UC Berkeley, for the NSP CPS PI Meeting, May 2020

<iframe width="560" height="315" src="https://www.youtube.com/embed/X-C_s8JUfbo" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

90-Second Introduction to the Lingua Franca Project

by Prof. Edward A. Lee, UC Berkeley, for the NSP CPS PI Meeting, May 2020

<iframe class="yt-video" src="https://www.youtube.com/embed/SpgZLtVghIs" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

From Transistors to Swarm Systems: The Evolution of Design Methods and Tools in the last 40 Years

Lecture by Prof. Alberto Sangiovanni-Vincentelli, UC Berkeley at the Advanced Circuits Research Center (ACRC) online seminar. Date: November 24, 2020

<iframe class="yt-video" src="https://www.youtube.com/embed/FYAZyHf_Jbc" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Verifying Parallel and Distributed Systems: The Observer Problem

Invited Talk by Edward A. Lee at the Integrated Formal Methods (iFM) conference, held virtually from Lugano, Switzerland, on Nov. 18 2020.

<iframe class="yt-video" src="https://www.youtube.com/embed/roM3ywzEBaQ" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Deterministic Actors

Invited talk in the Seminar Series:Design and Programming Cyber-Physical Systems and IoT Applications, organized by TU Dresden, Germany & Univ. of Manouba, Tunisia, Oct. 15, 2020.

<iframe class="yt-video" src="https://www.youtube.com/embed/_qszqXlKADw?start=12275" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Verified Artificial Intelligence and Autonomy

Keynote by Prof. Sanjit A. Seshia, UC Berkeley at the 12th NASA Formal Methods Symposium (NFM). Event Date: Wednesday May 13th, 2020

<iframe class="yt-video" src="https://www.youtube.com/embed/QF210fIhkuo" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

Towards Verified Artificial Intelligence: A Run-Time Verification Perspective

Invited talk by Prof. Sanjit A. Seshia, UC Berkeley at the 19th International Conference on Runtime Verification (RV 2019). Event Date: Wednesday October 8-11th, 2019

<iframe class="yt-video" src="https://www.youtube.com/embed/IrrEvjqinBY" title="YouTube video player" frameborder="0" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture" allowfullscreen></iframe>

GridWatch: Sensing the Health of the Power Grid

Invited talk by Prof. Prabal Dutta, UC Berkeley.