https://www.reliable-computing.org/archive/previous-conferences.html
      Previous conferences of interest to Ralph Baker Kearfott
    
      - 2013
          IFSA World Congress and NAFIPS Annual Meeting (venue for the 2013
        IEEE P-1788 standardization committee meeting), Edmonton, Alberta,
        Canada, June 24-28, 2013.
- Eighth
          International Conference on Scientific Computing and Applications,
        University of Nevada, Las Vegas, April 1-4, 2012.
- Uncertainty
          modeling and analysis with intervals: Foundations, tools, applications,
        Schloss Dagstuhl seminar no. 11371, September 11-16, 2011.
- Journées d
          l'Optimisation 2011
- SCAN 2010
- Computer-Assisted Proofs --
          Tools, Methods, and Applications, Schloß Dagstuhl Seminar 09471,
        November 9--15, 2009.
- Workshop on Automatic Differentiation and Nonlinear Optimization
        (conference in honor of Andreas Griewank's 60-th birthday), Nice and
        INRIA Sophia Antipolis, France, April 9--10, 2010.
- February,
1998
          Lafayette J3 meeting (Fortran programming language standardization
        committee)
-  SCAN'98
        (IMACS/GAMM International Symposium on Scientific Computing, Computer
        Arithmetic and Validated Numerics)
-  1998
          SIAM Annual Meeting
-  1999
          SIAM Annual Meeting
-  1999
          INFORMS meeting
-  Validated
Computing
          2002 (Toronto, May, 2002)
- Numerical Software with
            Result Verification (Dagstuhl Seminar 03041, January, 2003)
-  Global
            Optimization Theory Institute (Argonne Labs., September, 2003)
-  Second
            Taylor Model Workshop (Maimi, Florida, December 17-20, 2003)
-  isiCAD: International Workshop on:
            Constraint-based Approaches and Methods of Mathematical Modelling
            for Intelligent CAD/CAM/CAE systems: From Methods to Applications
          (21-23 June 2004, Akademgorodok, Novosibirsk, Russia)
-  SCAN 2004
          (Fukuoka, Japan)
- 2004 INFORMS
            Annual Meeting, Denver, Colorado, October 24-27, 2004.
-  Algebraic and Numerical
            Algorithms and Computer Assisted Proofs, Schloss Dagstuhl Seminar
            05391, September 25, 2005 to September 30, 2005.
- Reliable Implementation of
            Real Number Algorithms: Theory and Practice, Schloß Dagstuhl seminar
            06021, January 8--13, 2006.
-  REC-2006 (Reliable Engineering Computing), Georgia Tech. at
          Savannah, February 22--24, 2006.
-  GICOLAG
            (Global Optimization -- Integrating Convexity, Optimization, Logic
            Programming, and Computational Algebraic Geometry) October 1 to
          December 31, 2006.
-  INVA 2007, Waseda University, February, 2007.
- Optimal Algorithms
            and Computational Complexity for Numerical Problems, May 7-8,
          2007. (Click
here
            for the abstracts and schedule.)
- Numerical Validation in Current Hardware Architectures, 
            Schloß Dagstuhl seminar 08021, January 6--11, 2008.
- Workshop on Verified Numerical Computation, Okinawa, Japan, February
          27--March 7, 2008.
- Spring
            Meeting of the Japan SIAM, Metropolitan University, Tokyo, March
          8-9, 2008.
- INFORMS Southwest
            Regional Conference, April 18-19, 2008 (Texas A&M
          University)
- SCAN 2008, El Paso, Texas,
          September 29 to October 3, 2008.
- First World
            Congress on Global Optimization (Changsha, Hunan, China, June
          1-5, 2009)
- SCAN 2012, 15’th GAMM-IMACS
          International Symposium on Scientific Computing, Computer Arithmetic
          and  Verified Numerical Computations, September 23-29, 
        2012, Novosibirsk.