The invited lectures:
- Libor Barto (Prague/Hamilton)
Instances of the Constraint Satisfaction Problem in Universal Algebra - Nikolaos Galatos (Denver)
Beth definability for relevance logic with mingle - Mai Gehrke (Nijmegen)
Profinite algebras as dual spaces with applications in automata theory - Keith Kearnes (Boulder)
Growth functions of finite algebras - Tomasz Kowalski (Lisbon)
Quasi-subtractive varieties - Tadeusz Litak (Leicester)
Coalgebraic logic: modalities and beyond - Petar Markovic (Novi Sad)
Constraint Satisfaction Problem on Small Templates - Miklos Maroti (Szeged)
Polymorphisms of reflexive digraphs - Vincenzo Marra (Milano)
Unification modulo equational theories: the role of homotopy theory - George McNulty (Columbia)
Some reflections on finitely based varieties and quasivarieties
or Ralph, tell us all that you know - George Metcalfe (Bern)
Admissible Rules in Logic and Algebra - Daniele Mundici (Florence)
Local deduction, deductive interpolation and amalgamation in Łukasiewicz logic - Kazushige Terui (Kyoto)
MacNeille-type completions for residuated lattices i
and sequent-type proof systems for substructural logics - Matthew Valeriote (Hamilton)
Some new characterizations of some old Maltsev conditions - Ross Willard (Waterloo)
Relational structures, Maltsev conditions, and CSP
and the contributed talks (in no particular order):
| Authors | Title | |
| Bernd Schroeder | | Starting the Endgame for the Reconstruction Problem for Ordered Sets? |
| Rostislav Horcik and Nikolaos Galatos | | Generalization of Holland’s Theorem for Residuated Lattices |
| Marcel Jackson and Belinda Trotta | | Irredundant axiomatisability, continuous colourability and constraint satisfaction |
| Sergejs Solovjovs | | Algebraically-topological systems |
| Umberto Rivieccio and Ramon Jansana | | Residuated bilattices |
| John Harding and Mirko Navara | | Algebras characterized by their lattices of subalgebras |
| David Fernández | | Unmeasurable semantics for Modal Logic: Epistemic Logic meets the Continuum Hypothesis |
| Michael Winter | | Mereotopological Aspects of Stonian p-Ortholattices |
| James Raftery | | Contextual deduction theorems |
| Jiri Rachunek | | State operators on generalizations of algebras of fuzzy logics |
| Matthew Smedberg | | Subdirectly Irreducible Monogenerated Left-Distributive Groupoids |
| Josep Maria Font | | Leibniz-linked pairs of deductive systems |
| Janis Cirulis | | Glivenko operators on Hilbert algebras |
| Benjamin Wells | | Pseudorecursive Properties of Spectra |
| Kamilla Kátai-Urbán, Gábor Horváth, Péter Pál Pach, Gabriella Pluhár, András Pongrácz and Csaba Szabó | | Iterated semidirect product of semilattices |
| Janusz M. Czelakowski | | Triangular irreducibility of congruences in quasivarieties |
| Gabor Horvath | | The complexity of solving equations over finite rings |
| Brian Davey, Miroslav Haviar and Jane Pitkethly | | Full dualisability is independent of the generating algebra |
| Mariusz Grech | | Better-quasi-orderings in the varieties of equational theories of semigroups |
| Andrea Pedrini | | Valuation theory for vector lattices, and the Euler-Poincar\'e characteristic |
| Francesco Paoli, Antonio Ledda, Antonino Salibra and Tomasz Kowalski | | Boolean algebras of arbitrary similarity type |
| Antonio Ledda, Francesco Paoli, Matthew Spinks and Tomasz Kowalski | | Quasi-subtractive varieties, II |
| Erkko Lehtonen | | Partial orders and equivalences induced by clones, especially by Post's classes |
| Joel Berman | | Maximal-sized n-generated subdirect powers |
| John Harding, Carol Walker and Elbert Walker | | Bichains |
| Kalle Kaarli | | Categorical equivalence of finite minimal majority algebras |
| Miroslav Ploščica | | Finite congruence lattices and special embeddings of graphs |
| Simon Goberstein | | Lattice Isomorphisms of Orthodox Semigroups |
| Topaz Dent, Keith Kearnes and Agnes Szendrei | | An Easy Test For Congruence Modularity |
| Felix Bou | | Monadic Predicate Lukasiewicz Logic, Part 2: Undecidability |
| Ken-Etsu Fujita and Toshihiko Kurata | | On Duality Between Kripke Models and Lattice Theoretical Models of Second Order Intuitionistic Propositional Logic |
| Nobu-Yuki Suzuki | | Predicate Intuitionistic Epistemic Logics Arising from Game Theory |
| Nobu-Yuki Suzuki | | A Note on a Variant of Weak Term Existence Property in Super-Intuitionistic Predicate Logics |
| Leonardo Manuel Cabrer and Manuela Busaniche | | Combinatorics on Mono-dimensional MV-algebras |
| Martin Víta | | Uniform Spaces and Uniform Topologies on Algebras of Protoalgebraic Logics |
| Qifu Sun and Shuo-Yen Li | | Lattice classification by cut-through coding in engineering |
| Jan Kühr | | On lateral completions of pseudo-BCK-algebras |
| David Stanovsky | | Subdirectly irreducible algebras in a class of strongly solvable modes |
| Marina Semenova and Anna Zamojska-Dzienio | | A reduction theorem for pseudo-quasivariety lattices |
| Gabor Czedli and E. Tamas Schmidt | | The visual structure of planar semimodular lattices |
| Agi Kurucz, Yoshihito Tanaka, Frank Wolter and Michael Zakharyaschev | | Conservativity of Boolean algebras with operators over semilattices with operators |
| Mike Behrisch | | How to find nonrefinable covers in finite algebras |
| Petr Cintula and Carles Noguera | | The hierarchy of implicational and order algebraizable logics |
| Sebastian Kerkhoff | | A General Duality Theory for Clones |
| Anvar Nurakunov | | On complexity of lattices of quasivarieties |
| Michael Pinsker and Saharon Shelah | | Universality of the lattice of permutation groups |
| Jacek Krzaczkowski | | Some results on solving equations over finite algebras |
| Katarzyna Słomczyńska | | Unification and projectivity in Fregean varieties |
| Andrew Craig, Miroslav Haviar and Hilary A. Priestley | | A fresh perspective on canonical extensions for bounded lattices |
| Tommaso Cortonesi, Enrico Marchioni and Franco Montagna | | Model-theoretic properties of BL-algebras |
| Wojciech Dzik and Piotr Wojtylak | | Wroński's theorem on projective unification in intermediate and modal logics |
| Katarzyna Grygiel, Pawel Idziak and Marek Zaionc | | How big is BCI fragment of BCK logic |
| Sam Van Gool | | Constructing the free algebra for a logic step-by-step using partial algebras and duality |