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