Siebel School Speakers Calendar

2 matches found

• 

  DBSP: Incremental Computation on Streams and Its Applications to Databases

  11:00 am   12:00 pm    8/18/2025

  Siebel Center 201 N Goodwin Ave- Room 3124

  • Lecture
• 

  Xujie Si "The Science and Engineering of Autoformalizing Mathematics: A Case Study in Euclidean Geometry"

  10:30 am   11:30am    8/26/2025

  2124 SC

  • Lecture