Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
2019erc [2019-05-15] – Martin Ziegler | 2019erc [2019-05-19] (current) – Martin Ziegler | ||
---|---|---|---|
Line 8: | Line 8: | ||
- | This workshop on May 16 (Thursday) will recall the motivation and current progress. \\ | + | This mini-workshop on May 16 (Thursday) will recall the motivation and current progress. \\ |
Location: E 3-1, #3444 | Location: E 3-1, #3444 | ||
- | * 11:00 Martin: Motivation | + | * 11:00 Martin: |
- | * 12:00 Lunch | + | * 12:00 Lunch |
- | * 13:30 Seokbin: Grassmannian | + | * 13:30 Seokbin: |
* 14:00 Gyesik: Hoare Type Theory in concise form | * 14:00 Gyesik: Hoare Type Theory in concise form | ||
- | * 14:30 Sewon: Type Theory | + | * 14:30 Sewon: |
- | * 15:00 Dongseong: Haar Measure | + | * 15:00 Dongseong: |
- | * 15:30 Coffee/ | + | * 15:30 Coffee/ |
- | * 16:00 Donghyun: | + | * 16:00 Donghyun: |
- | * 16:30 Sveta: Differential Equations | + | * 16:30 Sveta: |
- | * 17:00 Ivan: Polynomial and Matrix Powering | + | * 17:00 Ivan: {{ : |
- | * 17:30 Hyunwoo: | + | * 17:30 Hyunwoo: |
- | * 18:00 Youngjo: Analytic Continuation | + | * 18:00 Youngjo: |
- | * 18:30 dinner (곽밥 :-) | + | |
May 17, Sabrina Ouazzani : | May 17, Sabrina Ouazzani : |