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
conferences [2019-10-04] – WAAC 2019 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)]]
   * [[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]]