Mathematical Sciences Graduate Student Workshop

May 16, 2001

Venue: Wean Hall 7500.


Session 1: Chaired by Fredrik Akesson

10:00 -- 10:30AM
Alexander Bondarenko:
A New Accelerated Method for Molecular Dynamics Simulations of Nanocrystalline Materials.

10:30 -- 11:00AM
Steven E. Pav
Extending Ruppert's Algorithm

Coffee Break: 11:00 -- 11:30

Session 2: Chaired by Paul Komarek

11:30 -- 12:00AM
Bjarni Halldorsson
Combinatorial and computational problems arising in the design of hybridization based chips.

12:00 -- 12:30PM
Juan Carlos Rivera
Black and Scholes Model with Proportional Transaction Costs

Lunch: 12:30 -- 2.00PM

Session 3: Chaired by Matthew Szudzik

2.00 -- 2.30PM
Rachel Rue
The Stable Circuit Problem

2.30 -- 3.00PM
Chad E. Brown
Set Variables in Higher Order Theorem Proving