The Spring 2017 SASMS will be held on Thursday, July 6 at 16:00 in MC 5479. If you would like to give a talk, you may do so by clicking "Sign Up" above.

4:00

Wenyi Zheng

Thermodynamics of Polymer Solutions

4:30

Nikita Kapustin

Crash course on monoids

5:00

Letian Chen

Method of Continuity for Second-order Linear Parabolic Equations

5:30

Sally Dong

The Cap Set Problem

6:00

Pure Math Club

Dinner

6:30

Ilia Chtcherbakov

Nondistributive lattices

7:00

Sean Harrap

Approximately Communicating Equality

7:30

Stephen Wen

Fermat's Last Theorem and the Riemann Hypothesis

8:00

Quincy Lap-Kwan Lam

Extended formulations of polytopes

8:30

Ifaz Kabir

A model theoretic interpretation of unification

In this talk I will briefly describe the Flory-Huggins Model of polymer thermodynamics.

Monoids are the calcium that's missing from your bones.

Assuming the heat equation is uniquely solvable (in some Hölder spaces) we show using the method of continuity that a general second-order parabolic equation (satisfying some conditions) is also solvable. Good chance that I won't finish on time.

¯\_(ツ)_/¯ (basically this: https://canadam.math.ca/2017/abs/pdf/pil-je.pdf)

We provide constructive examples of sandwiches and proceed to investigate the benefits of various sandwiches.

This is all Sean Harrap's fault.

This is secretly a CS talk with some stats sprinkled in but I plan to say the word "Theorem" once or twice. Certified spicy.

I WILL PROVE BOTH FERMAT'S LAST THEOREM AND THE RIEMANN HYPOTHESIS IN ONE SHORT TALK (may or may not be over $\mathbb{Z}$, may or may not be over function fields)

The minimum number of facets of an extended formulation is related to the complexity of its slack matrix.

Unification is an algorithm that allows us to figure out what the type of an expression should be, or what an expression should be if the expression itself is a type. In this talk we will look at model theoretic interpretations of the ideas involved in unification.