
DATE  SPEAKER  TITLE AND ABSTRACT 
30 January  Eran Crockett  Algebras in meetsemidistributive varieties Classifying algebras by the properties of their congruence lattices has been very fruitful in universal algebra. A lattice is meetsemidistributive if it satisfies a generalization of distributivity. I will give examples of algebras with meetsemidistributive congruence lattices. Timepermitting, I will mention some of the relations between residual finiteness, finite axiomatizability, and dualizability that these algebras have. Despite all the jargon in this abstract, I will do my best to make this talk accessible to all (math) graduate students. 
6 February  Chris Eppolito  Save the Trees! 
13 February  Rachel Skipper  The Math Academic Job MarketWhen it came time for applying to jobs, I had a thousand and one questions. After two years on the job market, I have answers to a few. This will be an informal and Frank discussion of the application process. 
20 February  No Seminar  No Seminar  
27 February 
 Exposition of running clubs: a combinatorial investigation Consider the graph consisting of nsquares joined together in a
straight line. Following the techniques presented by Nissen and Taylor,
I will show how many distinct trails such a graph contains. I will
give both a recursive and a direct formula for the solution.

6 March  No Seminar  Winter Break 
13 March  Chance Rodriguez  A topological approach to evasiveness We discuss a conjecture of Aanderaa, Karp, and Rosenberg about
evasiveness of monotone graph properties and prove a special case. 
20 March  No Seminar  No Seminar  
27 March 


3 April  No Seminar 
 
10 April  Andrew Lamoureux  ZermeloFraenkel set theory I will discuss the axioms of ZF set theory (without choice). My goal is
to show that the familiar properties of sets hold and that basic
constructions are valid: unions, intersections, products etc. of sets
are in fact sets. Time allowing, we will construct the integers,
rationals, and reals from the natural numbers. 
17 April  No Seminar  No Seminar 
24 April  Matt Evans  (Non)Dualizability of bounded commutative BCKalgebras
Bounded commutative BCKalgebras are a variety of algebras (in the sense of
universal algebra) that arise from a nonclassical logic, and are generalizations of Boolean algebras.
Following Stone's Duality for Boolean algebras then, it is natural to wonder if such a duality
exists for bcBCKalgebras. As it turns out, the variety of bcBCKalgebras is not itself
dualizable, but it has an infinite family of dualizable subvarieties.

1 May  Josh Carey 
