Selected Conferences on (Real) Complexity Theory and Computation
11th International Conference on Computability and Complexity in Analysis (CCA 2014)
16h GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
Computability, Analysis, and Geometry (Banff)
8th International Workshop on Numerical Software Verification
German-Japanese Workshop on Theory and Practice of Real Computation
12th International Conference on Computability and Complexity in Analysis (CCA 2015)
Special Session #11 at MACIS 2015
14th International Conference on Computability and Complexity in Analysis (CCA2017)
Workshop on Real Verification
Reliable Computation and Complexity on the Reals
15th International Conference on Computability and Complexity in Analysis (CCA2018)
16th International Conference on Computability and Complexity in Analysis (CCA2019)
Shonan seminar no.151 Higher-order Complexity Theory and its Applications
22nd Korea-Japan Joint Workshop on Algorithms and Computation