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
2019erc [2019-05-07] Martin Ziegler2019erc [2019-05-19] (current) Martin Ziegler
Line 8: Line 8:
  
  
-This workshop 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
  
-  * 11:00  Martin: Motivation and Vision, Discussion +  * 11:00 Martin:  {{ :2019_workshop_on_erc_martin_motivationvision.ppt |MotivationVision, and Discussion}} 
-  * 12:00  Lunch +  * 12:00 Lunch 
-  * 13:30 GyesikVerification +  * 13:30 Seokbin{{ :2019_workshop_on_erc_seokbin_grassmannians.pdf |Grassmannian}}  
-  * 14:15 SeokbinGrassmannian +  * 14:00 GyesikHoare Type Theory in concise form 
-  * 14:45 Sewon: Type Theory +  * 14:30 Sewon: {{ :2019_workshop_on_erc_sewon_type_theory_with_abstract_reals.pdf |Type Theory with Abstract Reals}} 
-  * 15:15 Coffee/break +  * 15:00 Dongseong: {{ ::2019_workshop_on_erc_dongseong_computability_of_haar_integrals.pdf | Computability of Haar Integrals}} 
-  * 15:30  Dongseong: Haar Measure +  * 15:30 Coffee/break 
-  * 16:00  Donghyun: Bit-Complexity and Entropy +  * 16:00 Donghyun: {{ ::2019_workshop_on_erc_donghyun_representation_theory_of_compact_metric_spaces.pdf | Representation Theory of Compact Metric Spaces}} 
-  * 16:30 IvanPolynomial and Matrix Powering +  * 16:30 Sveta{{ ::2019_workshop_on_erc_svetlana_differential_equations.pdf |Differential Equations}}  
-  * 17:00 SvetaDifferential Equations +  * 17:00 Ivan{{ :2019_workshop_on_erc_ivan_polynomial_and_matrix_powering.pptx | Polynomial and Matrix Powering}} 
-  * 17:45 Hyunwoo: Randomization +  * 17:30 Hyunwoo: {{ ::2019_workshop_on_erc_hyunwoo_randomized_computation.pdf | Randomized Computation }} 
-  * 18:15 Youngji: Analytic Continuation +  * 18:00 Youngjo{{ :2019_workshop_on_erc_youngjo_analytic_continuation.pptx | Analytic Continuation}}
-  * 19:00 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?]]