Complexity and Real Computation Laboratory

Complexity and Real Computation Laboratory Complexity and Real Computation Laboratory
  • Home
  • Research
  • Members
  • Publications
  • Conferences
  • Talks
  • Lectures
  • Seminars
  • Software

  • Old revisions

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
  • Last modified: 2024-04-02
  • by Martin Ziegler
Log In

Complexity and Real Computation Lab

School of Computing
Korea Advanced Institute of Science and Technology

© Martin Ziegler, 2025