## Contact Info

Pure MathematicsUniversity of Waterloo

200 University Avenue West

Waterloo, Ontario, Canada

N2L 3G1

Departmental office: MC 5304

Phone: 519 888 4567 x33484

Fax: 519 725 0160

Email: puremath@uwaterloo.ca

Visit our COVID-19 information website to learn how Warriors protect Warriors.

Please note: The University of Waterloo is closed for all events until further notice.

Tuesday, July 30, 2019 — 1:00 PM EDT

**Matthew Satriano, Department of Pure Mathematics, University of Waterloo **

“The valuative tree in action”

A sketch of Xie’s proof of Medvedev-Scanlon for Affine 2-space

Tuesday, July 30, 2019 — 9:00 AM EDT

**Anton Iliashenko and Spiro Kargiannis, Department of Pure Mathematics University of Waterloo **

“First and Second variation of the Volume functional”

Abstract

In this talk we will derive the first and second variational formulas for the volume functional of a submanifold.

“Vector cross products and calibrations: some non-standard inner product space theory”

Monday, July 29, 2019 — 4:00 PM EDT

**Martin Hils, Universitat Munster **

“Equivariant definable deformation retractions in non-archimedean geometry” (joint work with Ehud Hrushovski and Pierre Simon)”

Monday, July 29, 2019 — 1:30 PM EDT

**Pawel Sarkowicz, Department of Pure Mathematics, University of Waterloo**

“Separable Exact C*-Algebras”

Friday, July 26, 2019 — 1:30 PM EDT

**Hongdi Huang, Department of Pure Mathematics, University of Waterloo**

"The Zariski Cancellation Problem"

Wednesday, July 24, 2019 — 4:30 PM EDT

"Graphs in algebra and algebra in graphs"

Tuesday, July 23, 2019 — 2:30 PM EDT

**Ali Aleyasin, Department of Pure Mathematics, University of Waterloo**

"Riemannian cones in disguise: singular elliptic PDEs"

Monday, July 22, 2019 — 1:00 PM EDT

**Brett Nasserden, Department of Pure Mathematics, University of Waterloo**

"The valuative tree in action"

Friday, July 12, 2019 — 2:30 PM EDT

**Jacob Campbell, Department of Pure Mathematics, University of Waterloo**

This is the first meeting of a learning seminar which will run for most of July and August. The proposed day/time for the seminar is on Fridays, 2:30 to 3:30 pm.

In the first few meetings of the seminar we will look at the representation theory of the finite symmetric groups S_n, following the approach of Okounkov and Vershik, which emphasizes the branching rule and the use of Jucys-Murphy elements (all these terms are to be explained as the seminar goes on).

Thursday, July 4, 2019 — 4:00 PM EDT

**Ian Charlesworth, University of California, Berkeley**

"Free Stein Irregularity"

Thursday, July 4, 2019 — 10:00 AM EDT

**Luke MacLean, Department of Pure Mathematics, University of Waterloo**

"Different extensions of first-order logic (part 2)"

Having given definitions and examples of two different extensions of first-order logic, I will proceed to sketch a proof that a computably axiomatizable theory is finitely axiomatizable using additional predicates. Knowledge of the first part is not necessary.

MC 5479

Wednesday, July 3, 2019 — 10:00 AM EDT

**Anton Mosunov, Department of Pure Mathematics, University of Waterloo**

"Generalizations of the Gap Principle and the Thue-Siegel Principle, With Applications to Diophantine Equations"

University of Waterloo

200 University Avenue West

Waterloo, Ontario, Canada

N2L 3G1

Departmental office: MC 5304

Phone: 519 888 4567 x33484

Fax: 519 725 0160

Email: puremath@uwaterloo.ca

University of Waterloo

University of Waterloo

43.471468

-80.544205

200 University Avenue West

Waterloo,
ON,
Canada
N2L 3G1

The University of Waterloo acknowledges that much of our work takes place on the traditional territory of the Neutral, Anishinaabeg and Haudenosaunee peoples. Our main campus is situated on the Haldimand Tract, the land promised to the Six Nations that includes six miles on each side of the Grand River. Our active work toward reconciliation takes place across our campuses through research, learning, teaching, and community building, and is centralized within our Indigenous Initiatives Office.