|
|
Program
Click on a title to show the slides.
GENERAL SESSION
Tutorials
Invited talks
Contributed talks
- Quasivarieties of commutative residuated lattices
Paolo Aglianò
- On The Networks of Large Embeddings
Tuğba Aslan, Mohamed Khaled, and Gergely Székely
- A Point-Free Version of the Alexandroff-Hausdorff Theorem
Julio Cesar Urenda Castaneda, Francisco Avila, and Angel Zaldivar Corichi
- On the Cantor and the Hilbert cube frames
Angel Zaldivar, Francisco Avila, and Julio César Urenda Castañeda
- Club stationary reflection and the special Aronszajn tree property
Omer Ben-Neria and Thomas D. Gilton
- States over Plonka sums of Boolean algebras
Stefano Bonzio and Andrea Loi
- Covering versus partitioning with Polish spaces
Will Brian
- Twist structures and Nelson conuclei
Manuela Busaniche, Nick Galatos and Miguel Marcos
- On Finitely-Generated Johansson Algebras
Alex Citkin
- The Equational Theory of Distributive Lattice-Ordered Monoids
Almudena Colacito
- Algorithmic correspondence for relevance logics: The algorithm PEARL and its implementation
Willem Conradie, Valentin Goranko and Peter Jipsen
- Dualities for default bilattices and their applications
Andrew P. K. Craig, Brian A. Davey and Miroslav Haviar
- The V -logic Multiverse and MAXIMIZES
Matteo de Ceglie
- Big Ramsey degrees of universal limit structures
Natasha Dobrinen and Kaiyun Wang
- On spectra of BCK-algebras
Matt Evans
- Generalized divisibility and ordinal sums
Nikolaos Galatos and Sara Ugolini
- Towards a correspondence theory in region-based theories of space
Rafał Gruszczyński
- Local Automorphisms of Cartesian Products
Daniel Herden
- A representation theorem for both even and odd involutive commutative residuated chains by means of direct systems of abelian o-groups
Sándor Jenei
- An extended class of non-classical models of ZF
Santiago Jockwich Martinez
- Unitary Menger Systems of Idempotent Cyclic Multiplace Functions
Thodsaporn Kumduang
- Associative Posets
Joel Kuperman, Alejandro Petrovich, and Pedro Sánchez Terraf
- A chain of adjunctions for BA and any variety generated by a semiprimal bounded lattice expansion
Alexander Kurz, Wolfgang Poiger and Bruno Teheux
- Modal Logics of Locally Compact Ordered Spaces
Joel Lucero-Bryan
- Canonical formulas for IK4
Sebastian Melzer
- Deciding dependence
George Metcalfe and Naomi Tokuda
- The universal completion of C(L) and a localic representation of Riesz spaces
Imanol Mozo Carollo
- Varieties of PBZ*-lattices
Claudia Muresan
- Orderings of ultrafilters on complete Boolean algebras
Francesco Parente
- Algebraic Semantics for the Logic of Proofs
Amir Farahmand Parsa and Meghdad Ghari
- Forcing with ℵ1-Free Groups
Alexandra Pasi and Daniel Herden
- Reducts of representable relation algebras: finite representability and axiomatisability
Daniel Rogozin
- Directed games
Panagiotis Rouvelas
- Quantale-theoretic tools for the working logician
Ciro Russo
- Resolving finite indeterminacy: a definitive constructive universal prime ideal theorem
Peter Schuster and Daniel Wessel
- Lattice-ordered Effect Algebras with √′
Konstantin Shishov
- On Goldie absolute direct summands in modular lattices
Rupal C. Shroff
- Modal Logics of Cayley Graphs
Vladislav Slyusarev
- A new perspective on quantum substructural logics
Gavin St. John
- Monadic Residuated Lattices
Olim Tuyt
- The computation of the 768-th Laver table
Joseph Van Name
- The automorphism group of the Fraïssé limit of finite Heyting algebras
Kentaro Yamamoto
HOLLAND-MARTINEZ SESSION
Invited talks
Contributed talks
STONE-PRIESTLEY SESSION
Invited talks
Contributed talks
Schedule
All times are Mountain time, GMT-6:
Compact schedule (all days, PDF).
The day-by-day schedule is below. It includes information about the speakers and chairs of each session. In multiple author talks, the underline indicates the presenter.
Color legend:
| Holland-Martinez session |
Invited (general session) |
Contributed session 1 |
|
| Stone-Priestley session |
Tutorials |
Contributed session 2 |
|
|
|
|
Day 1, June 9, Wednesday
Day 2, June 10, Thursday
Day 3, June 11, Friday
Day 4, June 12, Saturday
Day 5, June 13, Sunday
|
