## 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

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 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