Program:

Session 1: Chaired by Aris Winger

10:00 -- 10:30AM
Chad E. Brown:
Set Comprehension in Church's Type Theory.

10:30 -- 11:00AM
Paul Komarek
Autonomous Fast Classifiers For Pharmaceutical Data Sets.

Break: 11:00 -- 11:15

Session 2: Chaired by Alexei Kolesnikov

11:15 -- 11.45AM
Kelley Burgin
Hamilton cycles in random graphs

11.45 -- 12:15PM
David Kravitz
Creating a Giant Component

Lunch: 12:15 -- 1.30PM

Session 3: Chaired by Matthew Szudzik

1.30 -- 2.00PM
Juan Carlos Rivera
Update your Portfolio: new elements on the work of Harry Markowitz

2.00 -- 2.30PM
Juan Vera
Robustness of web graphs

Break: 2:30 -- 2:45

Session 4: Chaired by Kathryn Trapp

2.45 -- 3.15PM
Cristina Popovici
Coupled Singular Perturbations for Phase Transitions

3.15 -- 3.45PM
Margarida Baia
Gamma-limit of functionals with periodic integrals via 2-scale convergence

3.45 -- 4.15PM
Luca Petrelli
PDE's from Monge-Kantorovich mass transportation theory

 Abstracts