The hidden subgroup problem for universal algebras
| Date: | 2021-03-16 |
| Event: | PALS |
| Location: | The University of Colorado (virtual)
Boulder, Colorado |
| Slides: | [pdf] [tex] |
The hidden subgroup problem for universal algebras
| Date: | 2020-07-08 |
| Event: | LICS 2020: Thirty-Fifth Annual ACM/IEEE Symposium on Logic in Computer Science |
| Location: | Saarbrücken, Germany (virtual) |
| Slides: | [pdf] [tex] |
Quantum algorithms for universal algebras
| Date: | 2020-01-19 |
| Event: | Birkhoff Seminar |
| Location: | The University of Colorado
Boulder, Colorado |
Supernilpotence need not imply nilpotence
| Date: | 2020-01-15 |
| Event: | Joint Mathematics Meetings 2020 |
| Location: | Denver, CO |
| Slides: | [pdf] [tex] |
Quantum Computation and Universal Algebra
| Date: | 2019-10-17 |
| Event: | Department Colloquim |
| Location: | Vanderbilt University
Nashville, TN |
| Slides: | [pdf] [tex] |
Finite degree clones are undecidable
| Date: | 2019-06-22 |
| Event: | AAA98 |
| Location: | TU Dresden
Dresden, Germany |
| Slides: | [pdf] [tex] |
Finite degree clones are undecidable
| Date: | 2019-05-20 |
| Event: | BLAST 2019 |
| Location: | The University of Colorado
Boulder, CO |
| Slides: | [pdf] [tex] |
Indecision: finitely generated, finitely related clones
| Date: | 2019-03-22 |
| Event: | Universal Algebra and Logic Seminar |
| Location: | Vanderbilt University
Nashville, TN |
| Slides: | [pdf] [tex] |
Promising satisfaction
| Date: | 2018-03-30 |
| Event: | Universal Algebra and Logic Seminar |
| Location: | Vanderbilt University
Nashville, TN |
Decidability in universal algebra
| Date: | 2017-03-10 |
| Event: | The American Mathematical Society
Spring Southeastern Sectional Meeting |
| Location: | College of Charleston
Charleston, SC |
| Slides: | [pdf] [tex] |
Naturally dualizable algebras omitting types 1 and 5 have a cube term
| Date: | 2016-12-04 |
| Event: | The Canadian Mathematical Society
2016 Winter Meeting |
| Location: | Niagara Falls, Ontario, Canada |
| Slides: | [pdf] [tex] |
Natural dualities for algebras
| Date: | 2016-11-07 |
| Event: | Department Colloquium |
| Location: | SUNY Binghamton
Binghamton, NY |
Decidability in Universal Algebra
| Date: | 2016-09-27 |
| Event: |
Structure and Complexity in Universal Algebra
Shanks Workshop |
| Location: | Vanderbilt University
Nashville, TN |
| Slides: | [pdf] [tex] |
Relational coloring of varieties containing a cube term
| Date: | 2016-05-21 |
| Event: | Algebras and Algorithms, Structure and Complexity Theory |
| Location: | The University of Colorado
Boulder, CO |
| Slides: | [pdf] [tex] |
Decidability in general algebra
| Date: | 2015-12-08 |
| Event: | Department colloquium |
| Location: | Iowa State University
Ames, IA |
Characterizing Taylor varieties
| Date: | 2015-12-07 |
| Event: | Combinatorics/Algebra seminar |
| Location: | Iowa State University
Ames, IA |
Absorption and directed Jonsson terms
| Joint with: | Alexandr Kazda (Institute of Science and Technology),
Marcin Kozik University), McKenzie, Ralph (Vanderbilt University) |
| Date: | 2015-06-11 |
| Event: | BLAST 2015 |
| Location: | The University of North Texas
Denton, TX |
| Slides: | [pdf] [tex] |
Optimal strong Maltsev conditions for congruence meet-semidistributivity
| Date: | 2015-01-07 |
| Event: | BLAST 2014 |
| Location: | New Mexico State University
Las Cruces, NM |
| Slides: | [pdf] [tex] |
Optimal strong Maltsev conditions for congruence meet-semidistributivity
| Date: | 2014-11-27 |
| Event: | BIRS Workshop in
Algebraic and Model Theoretical Methods in Constraint Satisfaction |
| Location: | The Banff Centre
Banff, Alberta, Canada |
| Slides: | [pdf] [tex] |
Naturally dualizable algebras omitting types 1 and 5 have a cube term
| Date: | 2014-05-20 |
| Event: | The Association for Symbolic Logic
2014 North American Annual Meeting |
| Location: | The University of Colorado
Boulder, CO |
| Slides: | [pdf] [tex] |
The variety generated by A(T) — two counterexamples
| Date: | 2013-10-06 |
| Event: | The American Mathematical Society
Fall Southeastern Sectional Meeting |
| Location: | The University of Louisville
Louisville, KY |
| Slides: | [pdf] [tex] |
The undecidability of definable principal subcongruences
| Date: | 2013-04-13 |
| Event: | The American Mathematical Society
Spring Western Sectional Meeting |
| Location: | The University of Colorado
Boulder, CO |
| Slides: | [pdf] [tex] |
