Representation and Duality for Distributoids (slides) Fri 10:30-11:30 Wesley Holliday, University of California at Berkeley
Possibilities for Boolean, Heyting, and modal algebras (slides) Fri 11:30-12:30 Luca Spada, University of Salerno
Kakutani duality, for groups (slides) Fri 2:00-3:00 Vaughan Pratt, Stanford University
The Duality of Time and Information in Concurrency and Branching Time (slides) Fri 3:00-4:00 Discussion session, Chair: M. Andrew Moshier, Chapman University
Three Categories of Polarities Fri 4:30-5:30 Pat Morandi, New Mexico State University
De Vries Duality for Compactifications and Completely Regular Spaces (slides) Sat 9:00-10:00 Daniele Mundici, University of Florence
Semantic and syntactic consequence (slides) Sat 10:30-11:30 Antonio Di Nola, University of Salerno
The Geometry of Free Algebras in Chang Variety: A Bridge from Semisimplicity to Infinitesimals (slides) Sat 11:30-12:30 John Harding, New Mexico State University
Boolean subalgebras of orthomodular posets (slides) Sat 2:00-3:00 Nick Galatos, University of Denver
Is there a useful duality for residuated lattices? (slides) Sat 3:00-4:00 Discussion session, Chair: Peter Jipsen, Chapman University
Categorical Dualities in Algebra and Logic (list of dualities) Sat 4:30-5:30 Marta Bilkova, Charles University, Prague
Lindenbaum-style proof of completeness for infinitary logics, Part 1 (slides) Sun 9:00-10:00 Petr Cintula, Czech Academy of Sciences
Lindenbaum-style proof of completeness for infinitary logics, Part 2 (slides) Sun 10:00-10:30 Sara Ugolini, University of Denver
MTL-algebras via rotations of basic hoops (slides) Sun 11:00-12:00 Alessandra Palmigiano, Delft University of Technology
Logical Foundations of Categorization Theory (slides) Sun 12:00-1:00 Tadeusz Litak, Friedrich-Alexander-Universität Erlangen-Nürnberg
Intuitionistic, strict and bunched implications (slides) Mon 9:00-10:00 Wesley Fussner, University of Denver
Functional duals for residuation algebras (slides) Mon 10:00-10:30 Apostolos Tzimoulis, Delft University of Technology
Goldblatt-Thomason for LE-logics (slides) Mon 11:00-12:00 Giuseppe Greco, Utrecht Univeristy
Focusing via display (slides) Mon 12:00-1:00 Gavin St. John, University of Denver
Undecidability of FL_e in the presence of structural rules (slides)
Organizers
Peter Jipsen, Alexander Kurz, Andrew Moshier (Chapman University)