|
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 |