Working with Deadlines in Lingua Franca
by Edward A. Lee, UC Berkeley, for Lingua Franca weekly meeting, Sep. 24, 2025
Decentralized Coordination in Federated Lingua Franca
by Edward A. Lee, UC Berkeley, for Lingua Franca weekly meeting, Nov. 20, 2024
Trading off Consistency and Availability using Lingua Franca
by Edward A. Lee, UC Berkeley, for Mulligan's Stew, Nov. 8, 2024
Deterministic Concurrency in CPS
by Edward A. Lee, UC Berkeley, SIGBED Distinguished Lecture, online, Jun. 15, 2023
Deterministic Concurrency and the Lingua Franca Coordination Language
by Edward A. Lee, UC Berkeley, Invited talk: CEA-LIST, Saclay, Paris, Apr. 18, 2023
Trading off Consistency and Availability in Cyber-Physical Systems
by Edward A. Lee, UC Berkeley, Time Appliances Project(TAP), online, Feb. 15, 2023
Trading off Consistency and Availability in Cyber-Physical Systems
by Edward A. Lee, UC Berkeley, Mälardalen University, Västeras, Sweden, Feb. 10, 2023
Verifying Parallel and Distributed Systems: The Observer Problem
by Edward A. Lee, UC Berkeley, Mälardalen University, Västeras, Sweden, Feb. 9, 2023
Trading off Consistency and Availability in Cyber-Physical Systems
by Edward A. Lee, UC Berkeley, ISAE Toulouse, France, Jan. 26, 2023
Time for All Programs, Not Just Real-Time Programs
by Edward A. Lee, UC Berkeley, ISoLA, Rhodes, Greece, Oct. 25, 2021
Keynote on Determinism
by Edward A. Lee, UC Berkeley, IBM PREVAIL 2021, online, Oct. 20, 2021
Keynote on the CAL Theorem
by Edward A. Lee, UC Berkeley, Symp. on Distributed Simulation and Real Time Applications (DS-RT), online, Sep. 27, 2021
Keynote on Determinism
by Edward A. Lee, UC Berkeley, RTCSA, online, Aug. 19, 2021
10-Minute Demonstration of Lingua Franca
by Shaokai Lin, UC Berkeley, for the NSP CPS PI Meeting, May 2020
90-Second Introduction to the Lingua Franca Project
by Prof. Edward A. Lee, UC Berkeley, for the NSP CPS PI Meeting, May 2020
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
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.
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.
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
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
GridWatch: Sensing the Health of the Power Grid
Invited talk by Prof. Prabal Dutta, UC Berkeley.