Sewon's Wiki

User Tools

Site Tools

Trace:
sewon_park

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revisionBoth sides next revision
sewon_park [2023/12/08 11:13] – [Programming Projects] sewonsewon_park [2024/01/05 12:37] – [Other Activities] sewon
Line 252: Line 252:
  
 ===== Other Activities ===== ===== Other Activities =====
 +  * **The third Korea Logic Day 2024** [[https://korealogicday.org/2024 | KLD2024]]
 +    * //Organizing Committee member//
 +    * 12 January 2024, online
   * ** 2023 Continuity, Computability, Constructivity - From Logic to Algorithms** [[https://www.i.h.kyoto-u.ac.jp/ccc2023/ | CCC2023]]   * ** 2023 Continuity, Computability, Constructivity - From Logic to Algorithms** [[https://www.i.h.kyoto-u.ac.jp/ccc2023/ | CCC2023]]
     * //Programme Committee and Organizing Committee member//     * //Programme Committee and Organizing Committee member//
sewon_park.txt · Last modified: 2024/04/24 12:41 by sewon