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.
slides of Sara's talk.
There will be talks,
seminars, labs, and more activities 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 | email@example.com
- Shawn Baland, Mathematics,
"What's in a Theorem"
- Monty McGovern, Mathematics, "How to Have a Stable Marriage"
- Paul Polson, Big Air Productions, "Calculating Patterns Used in
3D shapes" bigair
- Peter Hoff, Statistics, "Randomly significant : Why most science
reporting is misleading "
- Moshe Rosenfeld, Mathematics, UW Tacoma, "Mathematics:
the study of numbers, shapes and patterns." CANCELLED
- Andrew Berget, Mathematics, "Really, there is new Math?"
- Kristin DeVleming, "Sphere packing, and why
diamonds are worth more money than pencil lead" slides
- Jonah Ostroff, Mathematics, "A House Divided, the Problem of
- Annie Raymond, Mathematics, "Alcuin's Mathematical Puzzle" slides
The following items are on the current schedule; more may be added.
Field Trips and Labs
- Applied Physics Lab
- Seismology Lab
- Luminescence Dating Lab
- Computer Science and Engineering Tours
- Mesa Math Olympiad
- Sage Computer Lab
- Paper folding and geometric models
- Career panel
- Undergraduate panel
- UW Admissions
- Boomerangs CANCELLED If you would like to make a donation to Mathday
in memory of Ernie Esser, who died suddenly on his way back from Europe to
give his annual Mathday talk "Why do Boomerangs Come Back", the link is
- Math'n Stuff -- mathematical games
- Luncheon Discussion for Teachers
- Mathematical Card Tricks
- How About Plasmas! slides
- Knights and Liars
- Predict Super Bowl Winners
- Mathematician Scavenger Hunt at the Mathematics Research Library
Here's a link to the UW Professional and Continuing Education: Mathday website. It includes registration information.
Information for Volunteers
Sessions and Activities
Schematic view of
Agenda for the
meeting of volunteers, 3:30 pm, March 23, in PDL c36
Instructions for volunteers.
Wells Fargo and Boeing have generously
made a donation to support Mathday attendance
by schools with underrepresented populations.
Scholarship application form
Mathday 2015 photos
Photos of Ernie Esser
Poster in memory of Ernie Esser.
photos of mathday 2014.
Photos of Mathday 2013
photos of mathday 2012