| Date | 31 Jul 2024 (Wed) 3:00 pm |
| Venue | Room 210, Run Run Shaw Building, HKU |
| Title | Postgraduate Student Seminar - A SEMIGROUP APPROACH TO TALAGRAND-TYPE ISOPERIMETRIC INEQUALITIES |
| Speaker | Mr. Li Peijie (HKU) |
|
| Date | 05 Aug 2024 (Mon) 4:00 - 5:00 pm |
| Venue | Room 210, Run Run Shaw Building, HKU |
| Title | Geometry Seminar - Contact loci of arcs |
| Speaker | Professor Nero Budur (Department of Mathematic Katholieke Universiteit Leuven, Belgium) |
|
| Date | 07 Aug 2024 (Wed) 2:00 - 5:00pm |
| Venue | JLG01, James Hsioung Lee Science Building, HKU |
| Title | Mini Course - Lean proof assistant workshop (Lecture 1) |
| Speaker | Mr. Antoine de Saint Germain (HKU) |
|
| Date | 14 Aug 2024 (Wed) 2:00 - 5:00pm |
| Venue | JLG01, James Hsioung Lee Science Building, HKU |
| Title | Mini Course - Lean proof assistant workshop (Lecture 2) |
| Speaker | Mr. Antoine de Saint Germain (HKU) |
|
| Date | 21 Aug 2024 (Wed) 2:00 - 5:00pm |
| Venue | JLG01, James Hsioung Lee Science Building, HKU |
| Title | Mini Course - Lean proof assistant workshop (Lecture 3) |
| Speaker | Mr. Antoine de Saint Germain (HKU) |
|
| Date | 28 Aug 2024 (Wed) 2:00 - 5:00pm |
| Venue | JLG01, James Hsioung Lee Science Building, HKU |
| Title | Mini Course - Lean proof assistant workshop (Lecture 4) |
| Speaker | Mr. Antoine de Saint Germain (HKU) |
|