Mathematical Sciences Graduate Student Workshop

May 8, 2002

Venue: Wean Hall 7500.



Program:


Session 1: Chaired by Ojas Parekh

10:00 -- 10:30AM
Chad E. Brown:
Solving for Sets in Higher-Order Theorem Proving.

10:30 -- 11:00AM
Ksenija Simic
Reverse Mathematics and Ergodic Theory

Coffee Break: 11:00 -- 11:30

Session 2: Chaired by Stephen D Pankavich

11:30 -- 12:00AM
Kerry Emerson Ojakian
Tournaments in Bounded Arithmetic.

12:00 -- 12:30PM
David Kravitz
Extending the (1,k)-configuration for Facets of the Knapsack Polytope

Lunch: 12:30 -- 2.00PM

Session 3: Chaired by Matthew P Szudzik

2.00 -- 2.30PM
Geoffrey Atkinson
b-independent Sets in Random Regular Graphs

2.30 -- 3.00PM
Marian Bocea
Equi-integrability in the asymptotic analysis of thin films

 Abstracts