Talks
Notes about my talks
A repository containing the files associated with many of my talks can be found at github.com/williamdemeo/Talks.
π 2020

European Online CSP Seminar 2020  An overview of recent work on bounding the number of homomorphisms into general structures, appearing in our latest paper (arXiv link).

VΓΆls am Schlern  An overview of some tools for algebra research on 25 Sep 2020.

Denver  An early version of the UALib documentation used in my talk at the 2020 Joint Mathematics Meetings of the AMS, where I briefly introduced the Agda Universal Algebra Library (UALib).
 The latest UALib documentation is available from ualib.org.
 the latest UALib source code is available from gitlab.com/ualib/ualib.gitlab.io.
π 2018

Computing Difference Term Operations in Polynomial Time
BLAST Conference, University of Denver 
Why Universal Algebra Needs Inductive, Dependent Types
Oregon Programming Languages Summer School 
A Tutorial Introduction to the Lean Prover
University of Colorado Logic Seminar 
The Lambda Calculus and Dependent Type Theory University of Colorado Logic Seminar
π 2017

Representing Finite Lattices as Congruence Lattices
Colorado State University Algebra Seminar 
Algebraic Approach to Complexity of Constraint Satisfaction Problems
University of Hawaii Logic and Analysis Seminar
π 2016

Universal Algebraic Methods for Constraint Satisfaction Problems
AMS Western Sectional Meeting in Denver: Session on Algebraic Logic 
The Rectangularity Theorem of Barto and Kozik
Algebras and Algorithms: Structure and Complexity Theory 
Constraint Satisfaction Problems and Universal Algebra
Midlands Graduate School in the Foundation of Computing Science 
Permutability in Diamonds
Iowa State Algebra and Combinatorics Seminar
π 2015

Which Commutative Idempotent Binars are Tractable?
Vanderbilt Shanks workshop: Open Problems in Universal Algebra 
Some Small Finite Algebras Yielding Tractable CSP Templates
Iowa State Algebra and Combinatorics Seminar 
Algebraic CSP and Tractability of Commutative Idempotent Binars
BLAST Conference, University of North Texas 
Isotopic Algebras
Iowa State Algebra and Combinatorics Seminar
π 2014
 What Does a Nonabelian Group Sound Like?
MAA Special Session: At the Intersection of Mathematics and the Arts
π 2013

Interval Enforceable Properties of Finite Groups
AMS Special Session on Finite Universal Algebra 
Tutorial: UACalc at the command line and in the cloud
Workshop on Computational Universal Algebra 
Approximating Eigenvalues of Large Stochastic Matrices
University of South Carolina Combinatorics Seminar 
Congruence Lattices of Finite Algebras (plenary lecture)
BLAST Conference, Chapman University 
Transposition Principles for Subgroups and Equivalence Relations
Zassenhaus Group Theory Conference in Asheville, NC 
Isotopic Algebras with Nonisomorphic Congruence Lattices
AMS Special Session on Algebras, Lattices, and Varieties 
Synchronizing Automata and the \v{C}ern'{y} Conjecture
Graduate Algebra Seminar, University of Colorado
π 2012

The Finite Lattice Representation Problem in Four Parts
University of South Carolina Algebra and Logic Seminar 
Interval Sublattice Enforceable Properties of Finite Groups The 31st Ohio StateDenison Zassenhaus Conference

Expansions of Finite Algebras and their Congruence Lattices {Honolulu, HI 2012} {American Mathematical Society sectional meeting} {https://github.com/williamdemeo/Talks/tree/master/AMS/Honolulu2012} {(slides)}
\vspace{\vsp}

{Intervals in Subgroup Lattices and Permutation Representations} {Cullowhee, NC 2012} {Western Carolina University Group Theory Seminar}
\vspace{\vsp}
π 2011
 Recent Progress on the Finite Lattice Representation Problem Fellows Presentations of the Honolulu Chapter of ARCS
π 2009
 The Finite Lattice Representation Problem First Joint Meeting of Korean and American Mathematical Societies, Seoul