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