## Contact Info

Pure MathematicsUniversity of Waterloo

200 University Avenue West

Waterloo, Ontario, Canada

N2L 3G1

Departmental office: MC 5304

Phone: 519 888 4567 x43484

Fax: 519 725 0160

Email: puremath@uwaterloo.ca

Friday, January 31, 2014 — 3:30 PM EST

Friday, January 31, 2014 — 2:30 PM EST

Thursday, January 30, 2014 — 1:30 PM EST

Wednesday, January 29, 2014 — 4:00 PM EST

Tuesday, January 28, 2014 — 4:30 PM EST

We show how basic representation theory can be used to count the fixed points of a set under the action of a cyclic group. This basic representation theory has deep combinatorial applications only recently described as the "cyclic sieving phenomena".

Tuesday, January 28, 2014 — 2:30 PM EST

Friday, January 24, 2014 — 3:30 PM EST

Thursday, January 23, 2014 — 3:30 PM EST

I shall prove that a subpomonoid U of a pomonoid S is closed (in S) iff U is such as a monoid.

Thursday, January 23, 2014 — 1:30 PM EST

It is well known that sharp estimates on the number of rational

points near manifold can lead to solutions of some long standing

Wednesday, January 22, 2014 — 2:30 PM EST

This talk will begin with an introduction to abelian varieties, which are projective varieties having the structure of an abelian group. Abelian varieties of dimension 1 are elliptic curves. Our focus will be on abelian varieties of dimension 2.

Wednesday, January 22, 2014 — 10:30 AM EST

Continuing our discussion of solvable Lie algebras. The intention is to work through a proof of Engel's Theorem on nilpotent algebras. If you weren't there last week, no worries! You didn't miss much.

Monday, January 20, 2014 — 4:00 PM EST

A law is a universally quantified equation, such as the associative law or the commutative law. I intend to talk about the problem of determining which algebras have a finite basis for their laws. Most of my talk will be about the laws of finite algebras.

Friday, January 17, 2014 — 3:30 PM EST

Thursday, January 16, 2014 — 4:30 PM EST

Thursday, January 16, 2014 — 1:30 PM EST

Wednesday, January 15, 2014 — 4:00 PM EST

Wednesday, January 15, 2014 — 2:30 PM EST

Wednesday, January 15, 2014 — 10:30 AM EST

Tuesday, January 14, 2014 — 2:30 PM EST

In showing that finite idempotent algebras generating a congruence meet-semidistributive variety have bounded width, our first step is to reduce the consideration of arbitrary constraint networks to those where the constraints are at most binary.

Monday, January 13, 2014 — 4:00 PM EST

Friday, January 10, 2014 — 3:30 PM EST

Tuesday, January 7, 2014 — 2:30 PM EST

“The local consistency algorithm and problems of bounded width”

University of Waterloo

200 University Avenue West

Waterloo, Ontario, Canada

N2L 3G1

Departmental office: MC 5304

Phone: 519 888 4567 x43484

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 granted 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 Office of Indigenous Relations.