AMS Sectional Meeting Program by Special Session
Current as of Tuesday, April 12, 2005 15:21:43
2004 Fall Southeastern Section Meeting
Nashville, TN, October 1617, 2004
Meeting #999
Associate secretaries: John L Bryant, AMS bryant@math.fsu.edu
Special Session on Universal Algebra and Lattice Theory

Saturday October 16, 2004, 8:00 a.m.10:50 a.m.
Special Session on Universal Algebra and Lattice Theory, I
Room 109, Furman
Organizers:
Ralph N. McKenzie, Vanderbilt University mckenzie@math.vanderbilt.edu
George F. McNulty, University of South Carolina mcnulty@math.sc.edu

8:00 a.m.
Approximate identical satisfaction of equations.
Walter Taylor*, University of Colorado
(9990823) 
8:50 a.m.
The Constraint Satisfaction Problem and Universal Algebra.
Matt Valeriote*, McMaster University
(9990888) 
9:20 a.m.
The Finite Algebra Membership Problem.
George F McNulty*, University of South Carolina
(9990845) 
9:50 a.m.
Minimal Varieties of Involutive Residuated Lattices.
Constantine Tsinakis*, Vanderbilt University
(99906118) 
10:30 a.m.
Nonassociative residuated lattices.
Nikolaos Galatos*, Vanderbilt University
(99906108)

8:00 a.m.

Saturday October 16, 2004, 2:30 p.m.5:20 p.m.
Special Session on Universal Algebra and Lattice Theory, II
Room 109, Furman
Organizers:
Ralph N. McKenzie, Vanderbilt University mckenzie@math.vanderbilt.edu
George F. McNulty, University of South Carolina mcnulty@math.sc.edu

2:30 p.m.
Homomorphic images of subdirectly irreducible algebras.
Jaroslav Jezek*, Charles University, Czech Republic
(99908100) 
3:00 p.m.
Relations on Algebras.
John W Snow*, Sam Houston State University
(99908192) 
3:30 p.m.
On the structure of generalized basic logic algebras.
Peter Jipsen*, Chapman University
Franco Montagna, University of Siena
(99906162) 
4:00 p.m.
Canonical extensions of partially ordered algebras.
Mai Gehrke*, New Mexico State University/Copenhagen University
(99906290) 
4:30 p.m.
Concepts in universal algebra on propositional logic.
Chihiro Oshima*, Texas A&M International University
(99903239) 
5:00 p.m.
Stream ciphers and clones.
Clifford H Bergman*, Iowa State University
(9990855)

2:30 p.m.

Sunday October 17, 2004, 8:00 a.m.10:50 a.m.
Special Session on Universal Algebra and Lattice Theory, III
Room 109, Furman
Organizers:
Ralph N. McKenzie, Vanderbilt University mckenzie@math.vanderbilt.edu
George F. McNulty, University of South Carolina mcnulty@math.sc.edu

8:00 a.m.
Automatic Proofs and Countermodels With Application to Short Single Axioms.
William McCune*, Mathematics and Computer Science Division, Argonne National Laboratory
(99903247) 
8:50 a.m.
Some problems in varieties generated by finite algebras.
Kirby A. Baker*, University of California, Los Angeles
(99908165) 
9:20 a.m.
On a question of G. McNulty.
Ross Willard*, University of Waterloo
(99908182) 
9:50 a.m.
Finite axiomatizability for quasivarieties.
Miklos Maroti*, Vanderbilt University
(99908228) 
10:30 a.m.
Finitely Based Varieties of Directed Graph Algebras.
Brian L Walter*, The Evergreen State College
(9990852)

8:00 a.m.

Sunday October 17, 2004, 2:30 p.m.5:20 p.m.
Special Session on Universal Algebra and Lattice Theory, IV
Room 109, Furman
Organizers:
Ralph N. McKenzie, Vanderbilt University mckenzie@math.vanderbilt.edu
George F. McNulty, University of South Carolina mcnulty@math.sc.edu

2:30 p.m.
Complex Algebras of Subalgebras.
Kira Adaricheva*, Harold Washington College, Chicago, Illinois
Agata Pilitowska, Warsaw University of Technology, Warsaw, Poland
(99908135) 
3:00 p.m.
Sectionally complemented lattices and congruence restrictions.
G. Gr\"atzer*, University of Manitoba
H. Lakser, University of Manitoba
(9990692) 
3:30 p.m.
Open Questions Related to the Problem of Birkhoff and Maltsev.
M. E. Adams, State University of New York at New Paltz
K. V. Adaricheva, Harold Washington College at Chicago
W. Dziobiak*, University of Puerto Rico at Mayaguez
A. V. Kravchenko, Institute of Mathematics of the Siberian Branch of RAS
(99906178) 
4:00 p.m.
Join prime elements in join semidistributive lattices.
J. B. Nation*, University of Hawaii
(99906224) 
4:30 p.m.
Simple Boolean algebras with operators.
Steven R. Givant*, Mills College
(9990842) 
5:00 p.m.
Minimal Albebras in Semidistributive Varieties.
Ju Wang*, GuangXi Normal University
(99908283)

2:30 p.m.