Mathday will be held on Monday, March 23, 2015. The plenary speaker
will be Sara Billey, Professor of Mathematics, University of
Washington. The title of her talk is
"Computer Assisted Proofs: coming soon to a theorem near you!"
Computers allow us to compute a million digits of pi, the delivery routes for UPS drivers all over the country each day, and optimal ways to invest in the stock market. Usually the ways computers are used is to calculate numbers or manipulate data. However, there is a growing field at the intersection of mathematics and computer science where computers are being used to help prove theorems. Some famous theorems with computer assisted proofs still have no known traditional proof like the 4 Color Theorem and the proof of Kepler's conjecture. We will discuss examples of theorems with traditional proofs and computer assisted proofs, survey some history of computer assisted proofs, and describe how computer assisted proofs and formal verification systems are helping companies like Amazon and Boeing to improve their products.
There will be talks,
seminars, labs, and more activitis from 10 am until noon and from
1:20 pm until 2:00 pm. A detailed schedule will be
Registration forms, which will include the schdedule of fees, are
now available. For additional information, contact:
Sherri Nielsen-Hazard | UW Conference Management & Academic Programs |
Educational Outreach | 206-616-1462 | firstname.lastname@example.org
- Shawn Balland, Mathematics,
"What's in a Theorem"
- Monty McGovern, Mathematics, "How to Have a Stable Marriage"
- Paul Polson, Big Air Productions, "Calculating Patterns Used in
- Peter Hoff, Statistics, "Randomly significant : Why most science
reporting is misleading "
- Moshe Rosenfeld, Mathematics, UW Tacoma, "Mathematics:
the study of numbers, shapes and patterns."
- Sandor Kovacs, Mathematics, "A Glimpse into the Sixth Dimension"
- Andrew Berget, Mathematics, "Really, there is new Math?"
- Austin Roberts, Mathematics, "Making a Theremin out of 3 AM Radios and
- Kristin DeVleming, "Sphere packing,, and why
diamonds are worth more money than pencil lead"
- Jonah Ostroff, Mathematics, "A House Divided, the Problem of
The following items are on the current schedule; more may be added.
Field Trips and Labs
- Applied Physics Lab
- Seismology Lab
- Luminescence Dating Lab
- Quantum Ion Computation Lab
- Botany Greenhouse
- Computer Science and Engineering Tours
- Kirsten Wind Tunnel
- Paper folding and geometric models
- Career panel
- Undergraduate panel
- UW Admissions
- Math'n Stuff -- mathematical games
- Luncheon Discussion for Teachers
- Mathematical Card Tricks
- How About Plasmas!
- Knights and Liars
- Predict Super BowlWinners
Here's a link to the UW Professional and Continuing Education: Mathday website. It includes registration information.
Wells Fargo and Boeing have generously
made a donation to support Mathday attendance
by schools with underrepresented populations.
Form will be available soon.
photos of mathday 2014.
Photos of Mathday 2013
photos of mathday 2012