Program

Sunday, September 6
17:00 -- 20:00 Registration
Monday, September 7
08:10 -- 08:20 Welcome
Session 1 Chair: Dominik Lachman
08:20 -- 09:20 Marta Bilkova, Stefano Bonzio, José Gil-Férez, Peter Jipsen, Erkko Lehtonen, Reinhard Pöschel, Adam Přenosil, Melissa Sugimoto, Giuseppe Zecchini: Residuated partially ordered algebras, logic and preclones (invited talk) [abstract]
09:20 -- 09:45 Danica Jakubíková-Studenovska, Reinhard Pöschel, Sándor Radeleczki: Generalized quasiorders for maximal clones [abstract]
09:45 -- 10:10 J. Järvinen, Sándor Radeleczki, L. Veres: On clinker equivalences and their applications [abstract]
10:10 -- 10:40 Coffee break
Session 3 Chair: Miroslav Haviar
10:40 -- 11:40 Andrew Craig: Representations of distributive residuated lattice expansions (invited talk) [abstract]
11:40 -- 12:05 Mike Behrisch: Exploration of non-classical negation axioms [abstract]
12:05 -- 12:30 Přemysl Jedlička, Agata Pilitowska: Reducts of degenerate solutions of Yang-Baxter equation [abstract]
Session 4 Chair: Radomír Halaš
19:00 -- 19:25 Václav Cenker, Adam Přenosil: A Colax Colimit Construction of Biresiduation Algebras
19:25 -- 19:50 Leen Aburub, Gergo Gyenizse: Symmetric lattice identities and medians [abstract]
19:50 -- 20:15 Jakub Baloun, Dominik Lachman: Monoidal Categories of Effect Algebras [abstract]
20:15 -- 20:40 Gergő Gyenizse, Bernadett Nemes: Direct Product of Directed Graphs of Algebraic Length 1 [abstract]
Tuesday, September 8
Session 1 Chair: Mike Behrisch
08:20 -- 09:20 Marta Bilkova, Stefano Bonzio, José Gil-Férez, Peter Jipsen, Erkko Lehtonen, Reinhard Pöschel, Adam Přenosil, Melissa Sugimoto, Giuseppe Zecchini: Residuated partially ordered algebras, logic and preclones (invited talk) [abstract]
09:20 -- 09:45 Andrew P.K. Craig, Miroslav Haviar: Dual spaces of ortholattices [abstract]
09:45 -- 10:10 Michal Botur: Semi-direct products and similar constructions of residuated lattices [abstract]
10:10 -- 10:40 Coffee break
Session 3 Chair: Leonard Kwuida
10:40 -- 11:40 Andrew Craig: Representations of distributive residuated lattice expansions (invited talk) [abstract]
11:40 -- 12:05 Dominika Burešová, Pavel Pták: Jauch-Pironness [abstract]
12:05 -- 12:30 Dominika Burešová, Pavel Pták, Jan Ševic: Simultaneous extensions [abstract]
Session 4 Chair: David Kruml
19:00 -- 19:25 Ivan Chajda, Miroslav Kolařík, Helmut Länger: Operators MaxL and MinU and duals of Boolean posets [abstract]
19:25 -- 19:50 Dietmar Dorninger, Helmut Länger: Critical elements in algebras of numerical events [abstract]
19:50 -- 20:15 Petr Emanovský: Modularized special elements in trellises
Wednesday, September 9
7:45 -- ??:?? Trip in Tatra Mountains
19:00 -- ??:?? Conference dinner and party
Thursday, September 10
Session 1 Chair: Jan Paseka
08:20 -- 09:20 Marta Bilkova, Stefano Bonzio, José Gil-Férez, Peter Jipsen, Erkko Lehtonen, Reinhard Pöschel, Adam Přenosil, Melissa Sugimoto, Giuseppe Zecchini: Residuated partially ordered algebras, logic and preclones (invited talk) [abstract]
09:20 -- 09:45 George Georgescu, Leonard Kwuida, Claudia Mureșan: Completely Join-preserving Maps between Commutator Lattices as Abstractions for Congruence Extensions [abstract]
09:45 -- 10:10 Vanja Stepanović, Andreja Tepavčević, Branimir Šešelja: Solving lattice-valued relational equations and inequations [abstract]
10:10 -- 10:40 Coffee break
Session 3 Chair: Thomas Vetterlein
10:40 -- 11:05 Jakob Führer, Miloslav Štěpán: Adjointable maps for graph theory [abstract]
11:05 -- 11:30 Marcel Jackson, Tomasz Kowalski, Michał Stronkowski: Quasi-equational bases for directed paths [abstract]
11:30 -- 11:55 Gergo Gyenizse, Miklós Maróti, László Zádori: Mal'tsev conditions arising from functional relations [abstract]
11:55 -- 12:20 Kristóf Varga, Tamás Waldhauser: Universal algebraic geometry of normal bands [abstract]
Session 4 Chair: Michal Botur
19:00 -- 19:25 Radomír Halaš, Radko Mesiar, Jozef Pocs: Characterization of Archimedean 𝑡-norms and copulas with linear spline generators
19:25 -- 19:50 Miklós Dormán, Tamás Ágoston: Old but NU: Finding Large Monoidal Intervals [abstract]
19:50 -- 20:15 Zbyněk Cerman: Maximal Set of Non-Isomorphic Lattices Represented by Δ-Incidence Matrices Preserving {0,1}-Aggregation [abstract]
20:15 -- 20:40 Jan Kühr: Sectionally residuated semilattices
Friday, September 11
Session 1 Chair: Miroslav Kolařík
08:20 -- 08:45 Milan Lekár, Jan Paseka, Richard Smolka: Star-Free Modules [abstract]
08:45 -- 09:10 Thomas Vetterlein: Dealing with C*-algebras by means of algebra and order [abstract]
09:10 -- 09:35 Leonard Kwuida: On representations of double Boolean algebras [abstract]
09:35 -- 10:00 Dominik Lachman: Stability of Mapping Spaces in $\varepsilon$-Simplicial Sets [abstract]
09:55 -- 10:25 Coffee break
Session 3 Chair: Jan Kühr
10:20 -- 10:45 Emília Halušková, Malgorzata Jastrzebska: On algebras with easy direct limits, part I [abstract]
10:45 -- 11:10 Emília Halušková, Małgorzata Jastrzębska: On algebras with easy direct limits, part 2
11:10 -- 11:35 David Kruml: Relational algebra for the wolf, goat, and cabbage problem