http://www.crpc.rice.edu/CRPC/CAARMS4/schedule.html
Reception and Preview (Tuesday, June 16)
Welcome, Talks & Tutorials, and Poster Session (Wednesday, June 17)
Talks, Tutorials and Banquet (Thursday, June 18)
Talks and Tutorials (Friday, June 19)
Directions to Duncan Hall
|
Reception and Preview
Tuesday, June 16, 1998
Duncan Hall, McMurtry Auditorium
|
5:30 PM - 7:30 PM |
Welcoming Reception at the Houston Plaza Hilton, Garden Terrace, 9th Floor |
8:00 PM - 9:30 PM |
Evening Forum: Conference Preview, Houston Plaza Hilton, Garden Terrace, 9th Floor |
Welcome, Talks & Tutorials, and Poster Session
Wednesday, June 17, 1998
Duncan Hall, McMurtry Auditorium
|
7:45 AM |
Bus leaves Hilton Hotel for Rice University, Duncan Hall |
8:00 AM |
Breakfast and Registration |
8:30 AM |
Welcome and Introduction |
9:00 AM |
Relaxing Chaotic Behavior |
James H. Curry
University of Colorado at Boulder |
10:00 AM |
Coffee Break |
10:30 AM |
Min-max problems for partial differential equations |
Christine McMillan
Virginia Polytechnic Institute and State University |
11:30 AM |
Lunch, Martel Hall |
12:30 PM |
Contributed Talk #1
Abstract Differential Equations
with Almost Automorphic Mild Solutions
|
Gaston M. Nguerekata
Morgan State University |
1:00 PM |
Contributed Talk #2
The Fixed Point Property for Posets of Small Width |
Jonathan David Farley
Vanderbilt University |
1:30 PM |
Break |
1:45 PM |
Locating Critical Points of Polynomials: Sendov's Conjecture |
Johnny E. Brown
Purdue University |
2:45 PM |
Coffee Break and Group Photo |
3:15 PM |
Just the Facts, Jack: Truths and Myths of Automated Theorem Provers |
Roderick Moten
Colgate University |
4:15 PM |
Break |
4:45 PM |
Graduate Student Poster Session & Reception, Duncan Hall, Room 3092 |
7:15 PM |
Bus leaves Rice University for Hilton Hotel |
8:00 PM - 9:30 PM |
Evening Forum: Meet the Sponsors
Houston Plaza Hilton, Garden Terrace, 9th Floor |
Talks, Tutorials and Banquet
Thursday, June 18, 1998
Duncan Hall, McMurtry Auditorium
|
8:15 AM |
Bus leaves Hilton Hotel for Rice University, Duncan Hall |
8:30 AM |
Breakfast |
9:00 AM |
Finite Sums and Products in Ramsey Theory |
Elaine Terry
St. Joseph's University |
10:00 AM |
Coffee Break |
10:30 AM |
Formal Verification of Safety and
Performance Properties of TCP Selective Acknowledgment |
Mark A.S. Smith
AT&T Labs Research |
11:30 AM |
Lunch, Martel Hall |
12:30 PM |
Latex Tutorial |
Donald C. Williams
Rice University |
1:30 PM |
Break |
1:45 PM |
Chebyshev Sets in Banach Spaces, and an Open Problem |
Robert E. Megginson
University of Michigan - Ann Arbor |
2:45 PM |
Coffee Break |
3:15 PM |
Complete Interesections in Toric Varieties and Their Moduli |
Amassa Fauntleroy
North Carolina State University |
4:15 PM |
Break |
4:30 PM |
Probability Tutorial |
William A. Massey
Bell Labs of Lucent Technologies |
6:15 PM |
Bus leaves Rice University for Hilton Hotel |
6:30 PM |
Reception, Houston Plaza Hilton, Travis C |
7:00 PM - 9:00 PM |
Banquet and Keynote Address
Houston Plaza Hilton, Hilton Room |
Luther S. Williams
National Science Foundation |
Talks and Tutorials
Friday, June 19, 1998
Duncan Hall, McMurtry Auditorium
|
8:15 AM |
Bus leaves Hilton Hotel for Rice University, Duncan Hall |
8:30 AM |
Breakfast |
9:00 AM |
Talk #9 |
Yves Darly Jean
Bell Labs of Lucent Technologies |
10:00 AM |
Coffee Break |
10:30 AM |
Simulation Optimization of Discrete Event Systems via Simultaneous Perturbation |
Stacy D. Hill
Johns Hopkins Applied Physics Labs |
11:30 AM |
Lunch, Martel Hall |
12:30 PM |
Linear Algebra Tutorial |
Earl R. Barnes
Georgia Institute of Technology |
1:30 PM |
Break |
1:45 PM |
New Directions in Finite Termination Procedures |
Pamela J. Williams
Rice University |
2:45 PM |
Coffee Break |
3:15 PM - 4:45 PM |
Internet Tutorial |
Charles R. Hardnett
Spelman College |
5:00 PM - 7:30 PM |
End of Conference Festivities, Rice University, Duncan Hall, Martel Hall |
7:30 PM |
Bus leaves Rice University for Hilton Hotel |