TÁMOP-4.2.2/B-10/1-2010-0012 project; TÁMOP-4.2.1/B/09/1/KONV-2010-0005 project

Conference on

Universal Algebra and Lattice Theory

Dedicated to the 80th birthday of Bela Csakany

June 21–25, 2012, Szeged, Hungary

THURSDAY, June 21

Lecture Hall No. 103

10:00–10:10 Opening

Chairperson: Tamas Waldhauser

10:10–11:00Reinhard Poschel

Clones and Galois connections

Lecture Hall No. 103 Lecture Hall No. 217

Chairperson: Tamas Waldhauser Chairperson: Laszlo Zadori

11:10–11:30

Karsten Scholzel Anna Zamojska-Dzienio

The minimal clones generated by Semilattice ordered algebras I –

semiprojections on a four-element set Free algebras

11:40–12:00

Edith M. Vargas Garcıa Agata Pilitowska

Which maximal clones can be Semilattice ordered algebras II –

maximal C-clones The lattice of subvarieties

12:10–14:00 Lunch Break

Lecture Hall No. 103

Chairperson: Gabor Czedli

14:00–14:50George Gratzer

Sectionally complemented lattices

15:00–15:30 Coffee Break

Lecture Hall No. 103 Lecture Hall No. 217

Chairperson: Gabor Czedli Chairperson: Eszter K. Horvath

15:30–15:50Miroslav Ploscica Simion Breaz

Congruence FD-maximal varieties Direct products and homomorphisms

16:00–16:20Clifford Bergman

Fully invariant and verbal congruences

16:30–16:50

Anvar Nurakunov

Remark on axiomatizable classes

closed under subdirect products

1

TÁMOP-4.2.2/B-10/1-2010-0012 project; TÁMOP-4.2.1/B/09/1/KONV-2010-0005 project

FRIDAY, June 22

Lecture Hall No. 103

Chairperson: Csaba Szabo

9:00–9:50Agnes Szendrei

Clones with finitely many relative R-classes

9:55–10:15Jelena Colic

On the lattice of clones of incompletely specified operations

10:20–10:40Marcel Erne

Screens – a missing link between lattices and finite posets

10:45–11:15 Coffee Break

Chairperson: Radomır Halas

11:15–11:35Anna Romanowska

Algebraic closure of generalized convex sets

11:40–12:00

Andras Pongracz and Csaba Szabo

A new operation on finite partially ordered

sets inherited from the random poset

12:05–12:25Micha l Stronkowski

Embedding entropic algebras into modules

15:00–17:00 Excursion

19:00– Banquet

2

TÁMOP-4.2.2/B-10/1-2010-0012 project; TÁMOP-4.2.1/B/09/1/KONV-2010-0005 project

SATURDAY, June 23

Lecture Hall No. 103

Chairperson: Petar Markovic

9:00–9:50Kira Adaricheva

Effective bases of finite closure systems

10:00–10:30 Coffee Break

Lecture Hall No. 103 Lecture Hall No. 110

Chairperson: Ivan Chajda Chairperson: Keith Kearnes

10:30–10:50

Joanna Grygiel Miguel Campercholi

On the tolerance lattice of Implicit definition of the quaternary

tolerance factors I discriminator

11:00–11:20

Sandor Radeleczki Jelena Jovanovic

On the tolerance lattice of Strong Malcev conditions implying

tolerance factors II congruence meet-semidistributivity

11:30–11:50Katarzyna Grygiel Alexandr Kazda

Lattices being blocks of skeleton tolerances Absorption and reflexive digraphs

12:00–14:00 Lunch Break

Lecture Hall No. 103

Chairperson: George McNulty

14:00–14:50Ralph McKenzie

Malcev families of quasivarieties closed under join or Malcev product

15:00–15:30 Coffee Break

Lecture Hall No. 103 Lecture Hall No. 110

Chairperson: Rozalia Madarasz Chairperson: Peter P. Palfy

15:30–15:50

I. Chajda, G. Czedli and R. Halas Hajime Machida

Tolerance factorable varieties and Minimal clones and

four ways B. Csakany influenced their study maximal centralizing monoids

16:00–16:20

G. Czedli and Emil W. Kiss Laszlo Major

Congruence preimages of tolerances and On the unimodality of rank numbers

four ways B. Csakany influenced their study in face lattices of certain polytopes

3

TÁMOP-4.2.2/B-10/1-2010-0012 project; TÁMOP-4.2.1/B/09/1/KONV-2010-0005 project

SUNDAY, June 24

Lecture Hall No. 103

Chairperson: Laszlo Marki

9:00–9:50Ross Willard

Proving inconsistency: towards a better Maltsev CSP algorithm

10:00–10:30 Coffee Break

Lecture Hall No. 103 Lecture Hall No. 110

Chairperson: Mike Behrisch Chairperson: Russ Woodroofe

10:30–10:50

Alexander Popovich Zoltan Szekely

Representation of distributive spatial lattices Equational complexity of graph algebras

by congruence lattices of grupoids

11:00–11:20Gabor Horvath George McNulty

Solving functional equations with algebra The minimal variety problem is NP-hard

11:30–11:50Cosmin Pelea Jakub Bulın

Term functions in multialgebra theory Algebraic reduction of CSP to digraphs

12:00–14:00 Lunch Break

Lecture Hall No. 103

Chairperson: Clifford Bergman

14:00–14:50Ralph Freese

Maltsev conditions

15:00–15:30 Coffee Break

Lecture Hall No. 103 Lecture Hall No. 110

Chairperson: Reinhard Poschel Chairperson: Miroslav Ploscica

15:30–15:50

Branimir Seselja G. Czedli, T. Dekany, L. Ozsvart,

Lattice-valued identities and N. Szakacs and B. Udvari

equational classes On the number of slim semimodular lattices

16:00–16:20

Russ Woodroofe Vanja Stepanovic

Modular and maximal chains in On derived weak congruence

the subgroup lattice of a finite group representability

16:30–16:50Stephan Foldes

Remarks on chains and antichains

4

TÁMOP-4.2.2/B-10/1-2010-0012 project; TÁMOP-4.2.1/B/09/1/KONV-2010-0005 project

MONDAY, June 25

Lecture Hall No. 103

Chairperson: Hajime Machida

9:00–9:50Dmitriy Zhuk

On the lattice of clones on three elements

9:55–10:25 Coffee Break

Chairperson: Branimir Seselja

10:25–10:45Miklos Hartmann

On axiomatisability questions about monoid acts

10:50–11:10Mike Behrisch

Characterising categorical equivalence of finite semigroups

11:15–12:05Libor Barto

The Valeriote conjecture

12:10–12:20 Closing

5