Differences
This shows you the differences between two versions of the page.
Next revision | Previous revisionLast revisionBoth sides next revision | ||
2019erc [2019-05-07] – created Martin Ziegler | 2019erc [2019-05-16] – Donghyun Lim | ||
---|---|---|---|
Line 7: | Line 7: | ||
computable semantics (in the sense of Computable Analysis). | computable semantics (in the sense of Computable Analysis). | ||
- | 11:00 Martin: Motivation and Vision, Discussion | ||
- | 12:00 Lunch | ||
+ | This mini-workshop on May 16 (Thursday) will recall the motivation and current progress. \\ | ||
+ | Location: E 3-1, #3444 | ||
+ | |||
+ | * 11:00 Martin: | ||
+ | * 12:00 Lunch | ||
+ | * 13:30 Seokbin: {{ : | ||
+ | * 14:00 Gyesik: Hoare Type Theory in concise form | ||
+ | * 14:30 Sewon: {{ : | ||
+ | * 15:00 Dongseong: {{ :: | ||
+ | * 15:30 Coffee/ | ||
+ | * 16:00 Donghyun: {{ :: | ||
+ | * 16:30 Sveta: {{ :: | ||
+ | * 17:00 Ivan: {{ : | ||
+ | * 17:30 Hyunwoo: {{ :: | ||
+ | * 18:00 Youngjo: {{ : | ||
+ | * 18:30 dinner (곽밥 :-) | ||
+ | |||
+ | May 17, Sabrina Ouazzani : |