Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Last revisionBoth sides next revision
2019erc [2019-05-16] – Donghyun Lim2019erc [2019-05-16] – Donghyun Lim
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: {{::erc.ppt|Motivation and Vision, Discussion}} +  * 11:00 Martin:  {{ :2019_workshop_on_erc_martin_motivationvision.ppt |Motivation, Vision, and Discussion}} 
-  * 12:00  Lunch +  * 12:00 Lunch 
-  * 13:30 Seokbin: 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: Type Theory +  * 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 |}} +  * 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: {{ ::2019_workshop_on_erc_svetlana_differential_equations.pdf |Differential Equations}}  
-  * 17:00 Ivan: Polynomial and Matrix Powering +  * 17:00 Ivan: {{ :2019_workshop_on_erc_ivan_polynomial_and_matrix_powering.pptx | Polynomial and Matrix Powering}} 
-  * 17:30 Hyunwoo: Randomization +  * 17:30 Hyunwoo: {{ ::2019_workshop_on_erc_hyunwoo_randomized_computation.pdf | Randomized Computation }} 
-  * 18:00 Youngjo: 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?]]