Mathday, 2015

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 posted soon. 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 | snielsen@pce.uw.edu

**Lectures**

- 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 Apportionment" slides
- Annie Raymond, Mathematics, "Alcuin's Mathematical Puzzle" slides

**Field Trips and Labs**

- Applied Physics Lab
- Planetarium
- Seismology Lab
- Luminescence Dating Lab
- Computer Science and Engineering Tours
- Mesa Math Olympiad
- Sage Computer Lab

**Other Activities**

- Paper folding and geometric models
- Career panel
- Undergraduate panel
- UW Admissions
- Boomerangs CANCELLED
- 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**

Assignments

Schematic view of volunteer schedule.

Agenda for the meeting of volunteers, 3:30 pm, March 23, in PDL c36

Instructions for volunteers.

**Attendance Grant**

Wells Fargo and Boeing have generously made a donation to support Mathday attendance by schools with underrepresented populations. Scholarship application form

**Photos**

Photos of Ernie Esser

Poster in memory of Ernie Esser.

photos of mathday 2014.

Photos of Mathday 2013

photos of mathday 2012

morrow@math.washington.edu