Events

Dec11

Dissertation Talk: A Platform-Based Approach to Verification and Synthesis of Linear Temporal Logic Specifications

Cory 531 (Wang Room) Cory Hall
  • Antonio Iannopollo, EECS
The design of cyber-physical systems (CPS), which involve a coordination effort between several domains (i.e., software, real-time, physical, etc.), is a challenging task. To achieve design goals faster while guaranteeing system safety, the correct reuse of existing subsystems is essential. Formal specifications, such as those expressed in Linear Temporal Logic (LTL), have the potential to...
Dec12

Tech Skepticism and Worker Activism: Drawing Lessons for Research and Education

306 Soda Hall
  • Meredith Whittaker, AI Now Institute and Google
  • Matt Caggle, ACLU
  • Jeremy Gillula, Electronic Frontier Foundation
Join the Graduates for Engaged and Extended Scholarship in Computing and Engineering (GEESE) for an end-of-semester event, Tech Skepticism and Worker Activism: Drawing Lessons for Research and Education. Reflecting on events and crises in the tech industry over the past year, our discussion will focus on the implications for members of campus, as researchers, teachers, and students.
Dec13

Dissertation talk: Navigating Videos using Structured Text

354/360 HMMB (BiD Lab http://bid.berkeley.edu/directions/) Hearst Memorial Mining Building
  • Amy Pavel, UC Berkeley
This dissertation talk explores how we can combine domain-specific human annotations with automatic techniques to let people navigate videos using structured text documents. I'll talk about systems in the domains of educational lecture videos, movies, and critique sessions.
Jan23

Capital One Info-Session

Wozniak Lounge (430) Soda Hall
TBA
Jan24

Amazon Info-Session

Wozniak Lounge (430) Soda Hall
TBA
Jan25

Arista Info-Session

Wozniak Lounge (430) Soda Hall
TBA
Jan28

GM Info-Session

Wozniak Lounge (430) Soda Hall
TBA