Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision |
2019erc [2019-05-16] – Donghyun Lim | 2019erc [2019-05-16] – Martin Ziegler |
---|
| |
| |
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, Vision, and Discussion | * 11:00 Martin: {{ :2019_workshop_on_erc_martin_motivationvision.ppt |Motivation, Vision, and Discussion}} |
* 12:00 Lunch | * 12:00 Lunch |
* 13:30 Seokbin: {{ :2019_workshop_on_erc_seokbin_grassmannians.pdf |Grassmannian}} | * 13:30 Seokbin: {{ :2019_workshop_on_erc_seokbin_grassmannians.pdf |Grassmannian}} |
* 14:00 Gyesik: Hoare Type Theory in concise form | * 14:00 Gyesik: Hoare Type Theory in concise form |
* 14:30 Sewon: {{ :2019_workshop_on_erc_sewon_type_theory_with_abstract_reals.pdf |Type Theory with Abstract Reals}} | * 14:30 Sewon: {{ :2019_workshop_on_erc_sewon_type_theory_with_abstract_reals.pdf |Type Theory with Abstract Reals}} |
* 15:00 Dongseong: Haar Measure {{ ::2019_workshop_on_erc_dongseong_computability_of_haar_integrals.pdf | Computability of Haar Integrals}} | * 15:00 Dongseong: {{ ::2019_workshop_on_erc_dongseong_computability_of_haar_integrals.pdf | Computability of Haar Integrals}} |
* 15:30 Coffee/break | * 15:30 Coffee/break |
* 16:00 Donghyun: {{ ::2019_workshop_on_erc_donghyun_representation_theory_of_compact_metric_spaces.pdf | Representation Theory of Compact Metric Spaces}} | * 16:00 Donghyun: {{ ::2019_workshop_on_erc_donghyun_representation_theory_of_compact_metric_spaces.pdf | Representation Theory of Compact Metric Spaces}} |
* 16:30 Sveta: Differential Equations | * 16:30 Sveta: Differential Equations |
* 17:00 Ivan: Polynomial and Matrix Powering {{ :2019_workshop_on_erc_ivan_polynomial_and_matrix_powering.pptx | Polynomial and Matrix Powering}} | * 17:00 Ivan: {{ :2019_workshop_on_erc_ivan_polynomial_and_matrix_powering.pptx | Polynomial and Matrix Powering}} |
* 17:30 Hyunwoo: {{ ::2019_workshop_on_erc_hyunwoo_randomized_computation.pdf | Randomized Computation }} | * 17:30 Hyunwoo: {{ ::2019_workshop_on_erc_hyunwoo_randomized_computation.pdf | Randomized Computation }} |
* 18:00 Youngjo: Analytic Continuation {{ :2019_workshop_on_erc_youngjo_analytic_continuation.pptx | Analytic Continuation}} | * 18:00 Youngjo: {{ :2019_workshop_on_erc_youngjo_analytic_continuation.pptx | Analytic Continuation}} |
* 18:30 dinner (곽밥 :-) | * 18:30 dinner (곽밥 :-) |
| |
May 17, Sabrina Ouazzani :[[https://kaist.theoryofcomputation.asia/seminars#how_to_compute_with_an_infinite_time_turing_machine|How to compute with an infinite time Turing machine?]] | May 17, Sabrina Ouazzani :[[https://kaist.theoryofcomputation.asia/seminars#how_to_compute_with_an_infinite_time_turing_machine|How to compute with an infinite time Turing machine?]] |