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.