%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% 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 - %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%