Tuesday, September 17, 2024

• • 6:30 pm
    
  • 1404 Siebel Center for Computer Science

  Roblox Tech Talk

  • Informational

Friday, September 20, 2024

• • 2:00 - 3:00 pm
    
  • 0222 Siebel Center and Zoom

  Deciding branching hyperproperties for real time systems.

  • Seminar/Symposium