Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
seminars [2022-06-02] – [Computing with Infinite Objects via Coinductive Definitions] Martin Zieglerseminars [2023-06-28] (current) – 2023 Martin Ziegler
Line 1: Line 1:
 ====== Seminar on Theoretical Computer Science, Logic, and Real Computation ====== ====== Seminar on Theoretical Computer Science, Logic, and Real Computation ======
  
 +  * [[Seminars#2023]]
   * [[Seminars#2022]]   * [[Seminars#2022]]
   * [[Seminars#2021]]   * [[Seminars#2021]]
Line 10: Line 11:
   * [[Seminars#2015]]   * [[Seminars#2015]]
  
-===== 2022 =====+===== 2023 =====
  
 +* June 28, 19h KST
 +* Rakhman Ulzhalgas (KAIST) 
 +
 +"//Continuous Local Strategies for Robotic Formation Problems//"
 +by Barbara Kempkes and Friedhelm Meyer auf der Heide (2012)
 +
 +===== 2022 =====
  
 ====Computing with Infinite Objects via Coinductive Definitions==== ====Computing with Infinite Objects via Coinductive Definitions====