| Date/Time |
Speaker |
Subject |
Advisor |
| 10:00 |
John Goldes & Chris Mirabito |
Minimal transit time of a boat |
Prof. Deborah Brandon |
|
11:00 |
Matthew Evert & Karen Herman |
Satisfiability and the Davis-Putnam procedure |
Prof. Richard Statman |
| 1:00 |
Brian Fullilove, Abby Isaacs & David Slater |
Everywhere and back again, a postman's tale |
Prof. Richard Statman |
2:00 |
Derrick Dennis, Liliana Martinez & Dorian Smith |
Designing a roller coaster |
Prof. Deborah Brandon |
| 3:00 |
Zoryanna Dopko, Philip Owrutsky & Anne Yust |
Risky Business:Exotic Vanilla Adventure |
Prof. Reha Tütüncü |
