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...

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.

TBA

TBA

TBA

TBA

TBA

TBA

TBA

TBA.