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
conferences [2019-10-30] – Martin Zieglerconferences [2024-04-02] (current) – realcomplexity Martin Ziegler
Line 8: Line 8:
   * [[http://cca-net.de/cca2015|12th International Conference on Computability and Complexity in Analysis (CCA 2015)]]   * [[http://cca-net.de/cca2015|12th International Conference on Computability and Complexity in Analysis (CCA 2015)]]
   * [[http://realcomplexity.de/macis2015.html|Special Session #11 at MACIS 2015]]   * [[http://realcomplexity.de/macis2015.html|Special Session #11 at MACIS 2015]]
-  * [[http://theoryofcomputation.asia/CCA2017|14th International Conference on Computability and Complexity in Analysis (CCA2017)]] +  * [[http://realcomplexity.de/CCA2017|14th International Conference on Computability and Complexity in Analysis (CCA2017)]] 
-  * [[http://theoryofcomputation.asia/CCA2017/workshop.html|Workshop on Real Verification]]+  * [[http://realcomplexity.de/CCA2017/workshop.html|Workshop on Real Verification]]
   * [[http://dagstuhl.de/17481|Reliable Computation and Complexity on the Reals]]   * [[http://dagstuhl.de/17481|Reliable Computation and Complexity on the Reals]]
-  * [[http://cca-net.de/cca2018!15th International Conference on Computability and Complexity in Analysis (CCA2018)]] +  * [[http://cca-net.de/cca2018|15th International Conference on Computability and Complexity in Analysis (CCA2018)]] 
-  * [[http://cca-net.de/cca2019!16th International Conference on Computability and Complexity in Analysis (CCA2019)]]+  * [[http://cca-net.de/cca2019|16th International Conference on Computability and Complexity in Analysis (CCA2019)]] 
 +  * [[https://shonan.nii.ac.jp/seminars/151|Shonan seminar no.151 Higher-order Complexity Theory and its Applications]]
   * [[http://kaist.theoryofcomputation.asia/waac2019|22nd Korea-Japan Joint Workshop on Algorithms and Computation]]   * [[http://kaist.theoryofcomputation.asia/waac2019|22nd Korea-Japan Joint Workshop on Algorithms and Computation]]