Program

Saturday, September 2
14:00--21:00 Registration
Sunday, September 3
8:10--8:20 Welcome
Session 1 Chair: Miroslav Ploščica
08:20 -- 09:10 Tom Leinster: Operads (invited talk) [abstract] [slides]
09:10 -- 09:35 Mike Behrisch: Towards weak bases of minimal relational clones on all finite sets [abstract] [slides]
09:35 -- 10:00 Peter Jipsen, Erkko Lehtonen, Reinhard Pöschel: S-preclones and the Galois connection SPol-SInv [abstract] [slides]
10:00--10:25 Coffee break
Session 2 Chair: David Kruml
10:25 -- 11:15 John Harding, Andre Kornell: Completely hereditarily atomic OMLs I. (invited talk) [abstract] [slides]
11:15 -- 11:40 Jan Paseka, Thomas Vetterlein: Categories of orthosets and maps possessing an adjoint [slides]
11:40 -- 12:05 Milan Lekár, Jan Paseka: A dagger kernel category of orthomodular lattices [abstract] [slides]
Session 3 Chair: Ivan Chajda
19:00 -- 19:25 H. Ghumashyan, Jaroslav Guričan: Endomorphism kernel property for finite groups [slides]
19:25 -- 19:50 Danica Jakubíková-Studenovská, Reinhard Pöschel, Sándor Radeleczki: Minimal closed monoids for the Galois connection End-Con [abstract] [slides]
19:50 -- 20:15 Bertalan Bodor, Gergo Gyenizse, Miklós Maróti, László Zádori: Digraph conditions equivalent to certain Mal'tsev conditions [abstract] [slides]
Monday, September 4
Session 1 Chair: Jan Paseka
08:20 -- 09:10 Tom Leinster: An algebraic view of entropy (invited talk) [abstract] [slides]
09:10 -- 09:35 Dominik Lachman: Tensor product of effect algebras [slides]
09:35 -- 10:00 Gejza Jenča, Bert Lindenhovius: Quantum suplattices [abstract] [slides]
10:00--10:25 Coffee break
Session 2 Chair: Jozef Pócs
10:25 -- 11:15 John Harding, Andre Kornell: Completely hereditarily atomic OMLs II. (invited talk) [abstract] [slides]
11:15 -- 11:40 Ivan Chajda, Helmut Länger: Implications in effect algebras [slides]
11:40 -- 12:05 Michal Botur: Kites and representations of pseudo MV-algebras [slides]
Session 3 Chair: Thomas Vetterlein
19:00 -- 19:25 Ivan Chajda, Helmut Länger: Tolerances on posets [abstract] [slides]
19:25 -- 19:50 Emília Halušková: On discrete properties of monotone mappings [abstract] [slides]
19:50 -- 20:15 Ivan Chajda, Miroslav Kolařík, Helmut Länger: Special filters in bounded lattices [abstract] [slides]
Tuesday, September 5
8:00--19:30 Trip in Tatra Mountains
20:00--??? Conference dinner and party
Wednesday, September 6
Session 1 Chair: Reinhard Pöschel
08:20 -- 09:10 David Stanovský: Abstract commutator theory in concrete classes I. (invited talk) [abstract] [slides]
09:10 -- 09:35 Aleš Drápal: Several questions and notions of loop theory relevant for universal algebra [abstract] [slides]
09:35 -- 10:00 Přemysl Jedlička, Agata Pilitowska: Indecomposable involutive 2-permutable solutions of Yang-Baxter equation [abstract] [slides]
10:00--10:25 Coffee break
Session 2 Chair: Helmut Länger
10:25 -- 10:50 Bertalan Bodor: Structures with slow unlabelled growth [abstract] [slides]
10:50 -- 11:15 Kwuida Leonard: An introduction to triadic concept analysis [slides]
11:15 -- 11:40 Branimir Seselja, Andreja Tepavcevic, Jelena Jovanovic, Milan Grulovic: Classes of groups in lattice framework [abstract] [slides]
11:40 -- 12:05 Gejza Jenča: The (in)comparability orthoset of a poset [abstract]
Session 3 Chair: Gejza Jenča
19:00 -- 19:25 Eszter K. Horváth, Andreja Tepavcevic: The combinatorics of weak congruences of lattices [abstract] [slides]
19:25 -- 19:50 Kamilla Kátai-Urbán, Tamás Waldhauser: Multiplication of matrices over lattices [abstract] [slides]
19:50 -- 20:15 Richard Smolka, Jan Paseka, Michal Botur: More on Tense Operators [abstract] [slides]
Thursday, September 7
Session 1 Chair: Branimir Seselja
08:20 -- 09:10 David Stanovský: Abstract commutator theory in concrete classes II. (invited talk) [abstract] [slides]
09:10 -- 09:35 Miroslav Ploščica: Monotone deviations in completely normal lattices [slides]
09:35 -- 10:00 Lucia Janičková: Meet-irreducibility of congruence lattices of prime-cycled algebras [abstract] [slides]
10:00--10:25 Coffee break
Session 2 Chair: Michal Botur
10:25 -- 11:15 Tom Leinster: Entropy modulo a prime (invited talk) [abstract] [slides]
11:15 -- 11:40 Václav Cenker, Jan Kühr, Petr Ševčík: Varieties of commutative BCK-algebras: Covers [slides]
11:40 -- 12:05 Václav Cenker, Jan Kühr: Varieties of commutative BCK-algebras: Free algebras [slides]
Session 3 Chair: Miklós Maróti
19:00 -- 19:25 Taras Banakh, Serhii Bardyla: Completeness and topologizability of semigroups [abstract] [slides]
19:25 -- 19:50 Petr Emanovský, Jan Kühr: On isometries in autometrized algebras [slides]
19:50 -- 20:15 Temgoua Alomo Etienne Romuald, Kwuida Leonard, Tenkeu Kembang Gael: On subdirectly irreducible members of double Boolean algebras [abstract] [slides]
Friday, September 8
Session 1 Chair: Jaroslav Guričan
08:20 -- 09:10 David Stanovský: Abstract commutator theory in concrete classes III. (invited talk) [abstract] [slides]
09:10 -- 09:35 Kwuida Leonard, Claudia Muresan: On Congruences of Weakly Dicomplemented Lattices [abstract] [slides]
09:35 -- 10:00 David Kruml: Morphisms are constraints [slides]
10:00--10:25 Coffee break
Session 2 Chair: Bert Lindenhovius
10:25 -- 10:50 Anatolij Dvurečenskij, Omid Zahiri: Square roots and their applications on pseudo MV-algebras [abstract] [slides]
10:50 -- 11:15 Jana Volaříková: The Omega-Reducibility of Certain Pseudovarieties of Ordered Monoids [slides]