');
document.writeln(' ');
document.writeln(' Michael Adams and W. Dziobiak (Plenary).
');
document.writeln(' A Minimal $Q$-universal variety of Heyting algebras
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Kira Adaricheva and Marcel Wild.
');
document.writeln(' Realization of abstract convex geometries by point configurations
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Stefano Aguzzoli and Vincenzo Marra.
');
document.writeln(' Finitely presented MV-algebras with finite automorphism group
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Jeremy Alm, Roger Maddux and Jacob Manske.
');
document.writeln(' On a special case of the flexible atom conjecture
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Sergei Babyonyshev.
');
document.writeln(' Syntactical derivation of protoalgebraicity condition
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Richard Ball, Jaroslav Nesetril and Ales Pultr (Plenary).
');
document.writeln(' Dualities in Full Homomorphisms
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Libor Barto.
');
document.writeln(' Set functors determined by values on objects
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Guram Bezhanishvili and Patrick J. Morandi.
');
document.writeln(' Priestley Order-Compactifications
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Robert Bignall and Matthew Spinks.
');
document.writeln(' On binary discriminator varieties I, II, and III
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Felix Bou, Angel García-Cerdaña and Ventura Verdú.
');
document.writeln(' There are no Tarski-style axiomatizations for most fuzzy logics
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Manuela Busaniche and Leonardo Manuel Cabrer.
');
document.writeln(' Study of canonical extensions of BL-algebras
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Leonardo Manuel Cabrer and Sergio Arturo Celani.
');
document.writeln(' Logics with Fusion and Implication
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Carlos Caleiro and Ricardo Gonçalves.
');
document.writeln(' Behavioral algebraization
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Jose Luis Castiglioni, Matias Menni and Marta Sagastume.
');
document.writeln(' Compatible functions on commutative residuated lattices
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Ivan Chajda.
');
document.writeln(' Many-valued quantum algebras
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Key One Chung and Jonathan Smith.
');
document.writeln(' Homomorphisms for topological coalgebras
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Petr Cintula, Francesc Esteva, Joan Gispert, Lluis Godo, Franco Montagna and Carles Noguera.
');
document.writeln(' Algebraic characterization of completeness properties for core fuzzy logics I: propositional logics
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Petr Cintula, Francesc Esteva, Joan Gispert, Lluis Godo, Franco Montagna and Carles Noguera. Algebraic characterization of completeness properties for core fuzzy logics II: predicate logics
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Lavinia Ciungu.
');
document.writeln(' Existence of states on fuzzy structures
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Janusz M. Czelakowski.
');
document.writeln(' Commutator Equations, Day Implication and the Commutator
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Michael Darnel.
');
document.writeln(' Superspecial-valued Lattice-ordered Groups
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Brian A. Davey and Rashed Talukder.
');
document.writeln(' Natural Dualities for Generalized Modal Algebras
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Klaus Denecke.
');
document.writeln(' Semigroup Properties of Operations and Cooperations defined on Finite Sets
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Antonio di Nola, Peter Belluce and Brunella Gerla.
');
document.writeln(' Localization in Abelian l-groups with strong unit, via MV-algebras
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Antonio di Nola and Mirko Navara.
');
document.writeln(' Cantor-Bernstein property
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Dwight Duffus and Tomasz Luczak (Plenary).
');
document.writeln(' Automorphisms and Endomorphisms of Ordered Sets
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Ivo Düntsch and Michael Winter.
');
document.writeln(' Mereotopology and Boolean contact algebras
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Anatolij Dvurecenskij and Charles Holland.
');
document.writeln(' On Perfect GMV-algebras and Covers of MV-algebras
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Aldo Victorio Figallo, Paolo Landini and Alicia Nora Ziliani.
');
document.writeln(' A subvariety of Ockham - Nelson algebras
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Aldo Victorio Figallo and Claudia Andrea Sanza.
');
document.writeln(' Advances in monadic $\mbox{\boldmath{$n\times m-$}}$valued {\L}ukasiewicz algebras with negation
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Ralph Freese and Matt Valeriote.
');
document.writeln(' Properties defined by Maltsev conditions
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Hector Freytes, Antonio Ledda and Matthew Spinks.
');
document.writeln(' A discriminator variety of linear Heyting algebras with operators arising in quantum computation
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Nataliya Galanova.
');
document.writeln(' To the gap theory of ordered fields
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Joan Gispert and Antoni Torrens.
');
document.writeln(' Boolean skeleton and Pierce representation of Bounded BCK-algebras.
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Roberto Giuntini, Francesco Paoli, Antonio Ledda and Hector Freytes. Two aspects of the theory of quasi-MV algebras
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Martin Goldstern and Saharon Shelah (Plenary).
');
document.writeln(' Is the clone lattice on uncountable cardinals dually atomic?
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Tomasz Gorazd and Jacek Krzaczkowski.
');
document.writeln(' Complexity of term equation problem
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Revaz Grigolia.
');
document.writeln(' Monadic BL-algebras
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Radomir Halas, Ivan Chajda and Ivo Rosenberg.
');
document.writeln(' Primal and functionally complete algebras of logic
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' John Harding (Plenary).
');
document.writeln(' Completions and a variety of Heyting algebras
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Miroslav Haviar and Hilary A. Priestley (Plenary).
');
document.writeln(' Canonical extensions of Stone algebras: the natural way
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Eduardo Hirsh and Renato Lewin.
');
document.writeln(' Algebraization of logics defined by literal-paraconsistent or literal-paracomplete matrices
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Rostislav Horcik.
');
document.writeln(' Totally ordered monoids which are epimorphic images of sub-l-monoids of totally ordered groups
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Sándor Jenei.
');
document.writeln(' Geometric description of residuated semigroups
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Peter Jipsen.
');
document.writeln(' Representability of small relation algebras and involutive FL-algebras
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Keith Kearnes, Jason Shaw and Agnes Szendrei.
');
document.writeln(' Clones of 2-step Nilpotent Groups
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Keith A. Kearnes and Agnes Szendrei.
');
document.writeln(' CLONES OF ALGEBRAS WITH PARALLELOGRAM TERMS
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Vilas Kharat and Khalid Mokbel.
');
document.writeln(' SEMIPRIME IDEALS AND SEPARATION
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Tomasz Kowalski.
');
document.writeln(' Failure of amalgamation in Hilbert lattices
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Marcin Kozik (Plenary).
');
document.writeln(' A finite algebra with an EXPTIME complete clone membership problem
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Aleksandr Kravchenko.
');
document.writeln(' The lattice of quasivarieties of differential groupoids
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Jan Kühr.
');
document.writeln(' Representable integral residuated lattices and their subreducts
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Roger Maddux.
');
document.writeln(' Relevance logic and the calculus of relations
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Enrico Marchioni.
');
document.writeln(' On Decidability and Complexity of Semilinear Varieties
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Jorge Martinez.
');
document.writeln(' Frobenius Identities in Frames
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Peter Mayr.
');
document.writeln(' Polynomial clones on squarefree cyclic groups
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Alexei Muravitsky.
');
document.writeln(' An investigation of the lattice ExtS4
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' James Nation and Kira Adaricheva.
');
document.writeln(' Lattices of quasivarieties as congruence lattices of semilattices with operators
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Jeffrey Olson and James Raftery.
');
document.writeln(' Positive Sugihara Monoids
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Alessandra Palmigiano and Riccardo Re (Plenary).
');
document.writeln(' Topological relational quantales
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Jan Paseka.
');
document.writeln(' Projective Biframes: A General View
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Michael Pinsker, Manuel Bodirsky and Hubie Chen.
');
document.writeln(' The reducts of (N,=)
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Norbert Preining.
');
document.writeln(' Quantified Propositional Gödel Logics - A Survey
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Bob Quackenbush.
');
document.writeln(' Completing distributive lattice expansions
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Jiri Rachunek and Filip Svrcek.
');
document.writeln(' Monadic bounded commutative residuated $\ell $-monoids
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' James Raftery (Plenary).
');
document.writeln(' The equational definability of truth predicates
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' C. Russo.
');
document.writeln(' An order-theoretic approach to image processing
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Antonino Salibra (Plenary).
');
document.writeln(' Algebra and topology in lambda calculus
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Luigi Santocanale.
');
document.writeln(' Derived Semidistributive Lattices
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Steve Seif.
');
document.writeln(' Word digraphs and the free spectra of finite monoids
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Marina Semenova.
');
document.writeln(' Sublattices of subsemigroup lattices. A survey
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' John Snow.
');
document.writeln(' Primitive positive clones of groupoids
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Sergejs Solovjovs.
');
document.writeln(' A representation theorem for quantale algebras
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' David Stanovsky.
');
document.writeln(' Embedding algebras into semimodules
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Anna Stronska.
');
document.writeln(' Nilpotent subsemigroups of the semigroup of order-decreasing transformations of the set
');
document.writeln(' of all the subsets of a finite set
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Bruno Teheux.
');
document.writeln(' Algebraic aspects of some modal n+1-valued Lukasiewicz logics
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Jacob Vosmaer.
');
document.writeln(' Connecting the profinite completion and the canonical extension using duality
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Piotr Wojciechowski.
');
document.writeln(' PMV-algebras of matrices
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Xiuhua Wu and Qingguo Li.
');
document.writeln(' The representation of continuous lattices and a new Cartesian closed category
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Junwei Yu.
');
document.writeln(' Negation from the perspective of neighborhood semantics
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln(' Laszlo Zadori.
');
document.writeln(' Solvability of systems of polynomial equations over finite algebras
');
document.writeln('
');
document.writeln(' | ');
document.writeln('
');
document.writeln(' ');
document.writeln('