Talks presented at the AMS Special Session on Finite Universal Algebra in Louisville, KY
View the Project on GitHub UniversalAlgebra/AMSLouisville2013
Fall Southeastern Sectional Meeting
University of Louisville, Louisville, KY
October 5-6, 2013 (Saturday - Sunday)
Meeting #1092
Room 215, Bingham Humanities, University of Louisville
At the AMS Southeastern Sectional meeting at the University of Louisville a special session on Finite Universal Algebra was organized by Ralph McKenzie and Matthew Valeriote.
You can download the abstracts and slides from the meeting to your local machine using the ZIP or TAR buttons on the left.
For Git users. If you want to suggest changes to this content, please use the GitHub button. Then fork the repository, make your changes, and submit a pull request. You can also clone the repository with the following command:
git clone git@github.com:UniversalAlgebra/AMSLouisville2013.git
See also the official AMS special session program announcement.
8:00 a.m. Permutability of abelian congruences in finitely decidable varieties.
Matthew Smedberg, Vanderbilt University
8:30 a.m. Residually finite varieties.
Keith A Kearnes, University of Colorado
9:00 a.m. Varieties with a difference term and Park's conjecture.
Keith Kearnes, University of Colorado
Agnes Szendrei, University of Colorado
Ross Willard, University of Waterloo
9:30 a.m. How to decide absorption.
Alexandr Kazda, Vanderbilt University
10:00 a.m. Finiteness properties of direct products.
Peter Mayr, Johannes Kepler University Linz
Nik Ruskuc, University of St Andrews
10:30 a.m. Dualizable algebras.
Agnes Szendrei, University of Colorado at Boulder
Keith A. Kearnes, University of Colorado at Boulder
3:00 p.m. Finite group properties deducible from local subgroup lattice structure.
William DeMeo, University of South Carolina
3:30 p.m. Maltsev products of congruence permutable varieties.
Ralph S Freese, University of Hawaii
Ralph N McKenzie, Vanderbilt University
4:00 p.m. A Syntactic Approach to Linear Idempotent Mal'cev Conditions.
Jonah Horowitz, Ryerson University
4:30 p.m. Space complexity of list H-coloring: a dichotomy. (withdrawn)
L. Egri, Institute for Computer Science and Control, Hungarian Academy of Sciences
P. Hell, School of Computer Science, Simon Fraser University
B. Larose, Department of Mathematics and Statistics, Concordia University
A. Rafiey, School of Computer Science, Simon Fraser University
5:00 p.m. Polymorphisms of Binary Treelike Structures.
Dejan Delic, Ryerson University, Toronto
5:30 p.m. Finite Taylor algebras, Pointing Terms, and Cubed Elements.(moved to 4:30)
Alexander Wires, University of Waterloo
8:00 a.m. Reflexive Relations on Lattices.
John W. Snow, Concordia University, Nebraska
Kalle Kaarli, University of Tartu, Estonia
8:30 a.m. Maltsev Conditions on the Feder-Vardi Reduction to Bipartite Graphs with Constants.
Ian Payne, University of Waterloo
Ross Willard, University of Waterloo
9:00 a.m. The Variety Generated by A(T) -- Two Counterexamples.
Matthew D Moore, Vanderbilt University
9:30 a.m. Finite Monk algebras and equational bases defining RRA over wRRA.
Jeremy F Alm, Illinois College
Robin Hirsch, University College London
Jacob Manske, Epic Systems Corporation
10:00 a.m. Spectra in sub-signatures of RA.
Andrew J Ylvisaker, Monmouth College
10:30 a.m. Epimorphisms in certain varieties of partially ordered semigroups.
Nasir Sohail, University of Tartu, Estonia; University of Waterloo, Canada
3:00 p.m. An orderly algorithm to enumerate (semi)modular lattices.
Peter Jipsen, Chapman University
Nathan Lawless, Chapman University
3:30 p.m. The order of principal congruences of a bounded lattice.(withdrawn)
George Gratzer, University of Manitoba
4:00 p.m. The Computational Complexity of the Minimal Variety Problem.
George F McNulty, University of South Carolina
4:30 p.m. Algebraic Terms through Simulated Evolution. (moved to 3:30)
David M. Clark, SUNY New Paltz