Summer Conference on General Algebra and Ordered Sets
�Kosicka Bela, August 31-- September 6, 2003
PROGRAMME

___________________________________
MONDAY -- SEPTEMBER 1, 2003
��
8.45 -- opening
Chairman: Tibor Katrinak
8.50 -- 9.20 DVURECENSKIJ Anatolij: Jan Jakubik, octogenarian
9.25 -- 10.15 HOLLAND W. Charles: A survey of lattice ordered groups I.
--- coffee break ---
10.45 -- 11.35 WEHRUNG Fridrich: A recent progress in Congruence of lattices Problems I.
11.40 -- 12.00 CHAJDA Ivan: Implication in MV-algebras
12.05 -- 12.25 RACHUNEK Jiri: Relatively compact pseudo-complements in algebraic, distributive lattices

Chairman: Jiri Rachunek
16.00 -- 16.20 RIECANOVA Zdenka: States and probabilities on lattice effect algebras
16.25 -- 16.45 JENCA Gejza: Orthocomplete homogeneous effect algebras
16.50 -- 17.10 KUHR Jan: A generalization of GMV-algebras
17.15 -- 17.35 DVURECENSKIJ Anatolij: States and pseudo-effect algebras with general compatibility
17.40 -- 18.00 CHETCUTI Emanuel: Algebraic properties and completeness of inner product spaces

_____________________________________
TUESDAY -- SEPTEMBER 2, 2003
��
Chairman: Gabor Czedli
8.45 -- 9.30 IDZIAK Pawel: Counting of finite algebras I.
9.35 -- 9.55 POLAK Libor: Some applications of syntactic semiring
10.00 -- 10.20 DZIK Wojciech: Unification in some Boolean algebras with operators
--- coffee break ---
Chairman: Kalle Kaarli
10.45 -- 11.35 HOLLAND W. Charles: A survey of lattice ordered groups II.
11.40 -- 12.00 FRIED Ervin: Contradictional subclasses of a variety
12.05 -- 12.25 CACERES Luis: Ultraproducts and algebraic structures

Chairman: Richard Wiegandt
16.00 -- 16.50 WEHRUNG Fridrich: A recent progress in Congruence of Lattices Problems II.
16.55 -- 17.15 KLIMA Ondrej: Identities and equations over finite monoids
17.20 -- 17.50 GLAZEK Kazimierz: Algebraic scheme of independence notions

_______________________________________
WEDNESDAY -- SEPTEMBER 3, 2003

The conference trip to the hill "Sivec".
_______________________________________
THURSDAY -- SEPTEMBER 4, 2003
��
Chairman: Ivan Chajda
8.45 -- 9.30 HOLLAND W. Charles: A survey of lattice ordered groups III.
9.35 -- 9.55 CZEDLI Gabor: Test lattices
10.00 -- 10.20 PINSKER Michael: Clones on infinite sets
--- coffee break ---
Chairman: Csaba Szabo
10.45 -- 11.35 WEHRUNG Friedrich: A recent progress in Congruence of Lattices Problems III.
11.40 -- 12.10 POESCHEL Reinhard: Relation graphs and operations

Chairman: Danica Studenovska
16.00 -- 16.50 IDZIAK Pawel: Counting of finite algebras II.
16.55 -- 17.15 SALOUNOVA Dana: LEX-extensions of DRl-monoids and GMV-algebras
17.20 -- 17.40 WOJTYLAK Piotr: Unification in Proof Theory
17.45 -- 18.15 GRYGIEL Joanna: Sizes of maximal atomistic intervals in modular lattices

____________________________________________
FRIDAY -- SEPTEMBER 5, 2003
��
Chairman: Libor Polak
8.45 -- 9.30 IDZIAK Pawel: Counting of finite algebras III.
9.35 -- 9.55 SZABO Csaba: Ordervarieties and fundamental groups of posets
10.00 -- 10.20 KAARLI Kalle: On equationally compact commutative inverse semigroups
--- coffee break ---
Chairman: Kazimierz Glazek
10.45 -- 11.05 CERNAK Stefan : Convergence with a fixed regulator in l-groups
11.10 -- 11.30 RUZICKA Pavel: Ideal lattices of dimension groups
11.35 -- 11.55 WIEGANDT Richard: Supplementing radicals and decomposition theorems
12.00 -- 12.25 RADELECZKI Sandor: On the lattice of interval decompositions ( joint work with S. Foldes, TU Tampere, Finland)

Chairman: Gejza Jenca
16.00 -- 16.20 STUDENOVSKA Danica: On a representation of monounary algebras by means of irreducibles
16.25 -- 16.45 KATRINAK Tibor: Projective extensions of semilattices
16.50 -- 17.10 PASEKA Jan: On an existence of points in quantales
17.15 -- 17.35 SOBOTIK Ivan: Quantale congruences and their fixpoints
17.40 -- 18.00 HOSKOVA Sarka: Abelianizing of hyperstructures as a categorical reflection and its concrete applications