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

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 Fridrich: A recent progress in Congruence of Lattices Problems III.

11.40 -- 12.10
POESCHEL: 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 semi lattices

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