8:30 AM
Welcoming Remarks
Martin Berz, Michigan State University; Christian Bischof,
Argonne National Laboratory, and Andreas Griewank, Technical University
of Dresden, Germany
8:45 AM
Invited Presentation 1 ~ Automatic Differentiation and Implicit Differential Equations
Stephen L. Campbell, North Carolina State University
9:30 AM
Session 1
10:00 AM
Coffee
10:30 AM-12:10 PM
Session 2
12:10 PM
Lunch
2:00 PM
Invited Presentation 2 ~ Automatic Differentiation in Computer Algebra Systems: An Implementation of the Forward and Reverse mode in Maple
Michael Monagan, Eidgenossische Technische Hochschule, Switzerland
2:45 PM
Session 3
3:15 PM
Coffee
3:40-5:10 PM
Session 4
5:15-7:00 PM
Poster Session/Reception
8:45 AM
Invited Presentation 3 ~ Structure and Efficient Jacobian Calculation
Thomas F. Coleman, Cornell University
9:30 AM
Session 5
9:50 AM
Coffee
10:20 AM-12:00 PM
Session 6
12:00 PM
Lunch
2:00 PM
Invited Presentation 4 ~ Applications of Computational Differentiation in Numerical Modelling of the Atmospheric and Oceanic Circulation
Olivier Talagrand, Laboratoire de Meteorologie Dynamique, Ecole
Normale Superieure, France
2:45 PM
Session 7
3:15 PM
Coffee
3:40-5:10 PM
Session 8
5:30-7:15 PM
Authentic Southwest Mexican Dinner
7:30-9:30 PM
Session 9
8:45 AM
Invited Presentation 5 ~ Numerical Integration with Verification
Ulrich Kulisch, Technical University of Karlsruhe, Germany
9:30-10:20 AM
Session 10
10:20 AM
Coffee
10:50 AM-12:30 PM
Session 11
12:30 PM
Lunch
7:00 PM
Session 12
7:30-8:50 PM
Session 13
8:45 AM
Invited Presentation 6 ~ Bifurcations, Automatic Differentiation and Computer Generated Proofs
John Guckenheimer, Cornell University
9:30 AM
Session 14
10:00 AM
Coffee
10:30 AM-12:00 PM
Session 15
12:00 PM
Lunch
2:00 PM
Invited Presentation 7 ~ Adjoint Computation for Wave Propagation
William W. Symes, Rice University
2:45 PM
Session 16
3:15 PM
Coffee
3:40-5:00 PM
Session 17
5:00 PM
Conference Adjourns
MEM, 1/3/96