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