%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Monday, September 3
08.45 Opening - T. Katrinak
08.50 - 09.50 R. McKenzie: Operations with posets - models
of Tarski's high school identities (part 1)
10.00 - 10.55 R. McKenzie: Operations with posets - models
of Tarski's high school identities (part 2)
- coffee -
Chairman: A. Bulatov
11.20 - 11.40 E. Fried: Local discriminator
11.45 - 12.05 A. Pinus: Elementary equivalence of derived
structures of free algebras
12.10 - 12.30 L. Polak: Varieties of formal languages
-------
Chairman: K. Glazek
16.15 - 17.00 R. Poschel: A beginners relational view to Tame
congruence theory
17.05 - 17.25 L. Heindorf: Maximal clones that include all unary
injections
17.30 - 17.50 J. Galuszka: Small idempotent groupoids with small
clones
-------
Chairman: J. Paseka
19.30 - 19.50 I. Chajda: Triangular scheme for congruence
distributivity
19.55 - 20.15 E. Horvath: Shifting lattice identities
20.20 - 20.40 G. Czedli: Trapezoid lemma for congruence distributivity
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Tuesday, September 4
Chairman: I. Chajda
08.45 - 09.45 J. Rosicky: Algebraic theories and varieties (part 1)
09.55 - 10.55 H. P. Gumm: Universal coalgebra - a theory of
state-based systems and beyond (part 1)
- coffee -
Chairman: P. Idziak
11.20 -12.20 R. McKenzie: Operations with posets - models of
Tarski's high school identities (part 3)
-------
Chairman: L. Polak
16.15 - 16.35 R. Wiegandt: Approximating Koethe's problem by
radicals
16.40 - 17.00 L. Marki: Orders in rings with involution
17.05 - 17.25 D. Kruml: On simplicity of quantales
17.30 - 17.55 J. Paseka: Quantales and their modules
-------
Chairman: A. Pinus
19.30 - 19.50 T. Bieganska, P. Wojtylak: Generalizing proofs
19.55 - 20.15 J. Cirulis: Semiring-like logics
20.20 - 20.40 T. Polacik: Intuitionistic logic, propositional
quantification and trees
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Wednesday, September 5
Chairman: K. Kaarli
08.45 - 09.45 H. P. Gumm: Universal coalgebra - a theory of
state-based systems and beyond (part 2)
09.55 - 10.55 J. Rosicky: Algebraic theories and varieties (part 2)
- coffee -
Chairman: P. Zlatos
11.15 - 11.35 K. Kaarli: On congruence dualizability
11.40 - 12.00 R. Talukder: Natural Dualities for Varieties of
Heyting Algebras - a functor category interpretation
12.05 - 12.25 B. Csakany: Games and languages
--------
Chairman: J. Rachunek
16.15 - 16.35 B. Seselja: Weak congruence lattices of small order
16.40 - 17.00 R. Hala\v s: BCC-algebras inherited from posets
17.05 - 17.25 S. Radeleczki: On the toleance lattice of bounded
lattices
17.30 - 17.50 G. Takach: On primary Arguesian lattices
--------
Chairman: B. Seselja
19.30 - 19.50 J. Grygiel: Finite distributive lattices with the
same skeletons
19.55 - 20.15 J. Niederle: A topic on ordered sets
20.20 - 20.40 J. Novotny: Rough sets and decision algorithms
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Thursday, September 6
9.00 - 16.00 Excusion
19.00 Party
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Friday, September 7
Chairman: G. Czedli
08.45 - 09.45 J. Rosicky: Algebraic theories and varieties (part 3)
09.55 - 10.55 H. P. Gumm: Universal coalgebra - a theory of
state-based systems and beyond (part 3)
- coffee -
Chairman: L. Heindorf
11.15 - 11.35 K. Glazek: Weak automorphisms in general algebras
- a survey
11.40 - 12.00 O. Klima: Unification modulo associativity and
idempotency
12.05 - 12.25 J. Rachunek: Completely distributive GM-algebras
--------
Chairman: A. Rutkowski
15.50 - 16.35 A. Bulatov: Algebraic structures in combinatorial
problems
16.40 - 17.00 P. Emanovsky: Sigma-isomorphic algebraic structures
17.05 - 17.25 A. Marasik: The width of subsets of products of
chains
17.30 - 17.50 A. Vanzurova: Generalized diagonal algebras as a
nilpotent shift of rectagular algebras
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Saturday, September 8
Chairman: M. Haviar
08.45 - 09.05 W. Dzik: On structural completeness in some
classes of algebras
09.10 - 09.30 Z. Riecanova: Metric effect algebras
09.35 - 09.55 A. Tepavcevic: On local congruence intersection
property
10.00 - 10.20 J. Klimes: Theorems for ps-ordered sets
- coffee -
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%