WJD Open Notebook

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