Friday, November 11, 2022
10:30am | Friday Morning Seminar |
LOM 205
|
Friday Morning Seminar | |
12:00pm | Graduate Student Seminar |
LOM
|
Jonas Katona - Yale | An introduction to formal methods with applications to floating-point error estimation |
2:00pm | Geometric Analysis and Application |
LOM 215
|
Jiewon Park - Yale University | Ćojasiewicz inequalities and their implications |