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
conferences [2019-08-08] – Martin Zieglerconferences [2019-10-30] – Martin Ziegler
Line 11: Line 11:
   * [[http://theoryofcomputation.asia/CCA2017/workshop.html|Workshop on Real Verification]]   * [[http://theoryofcomputation.asia/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/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]]