September 14-17, 2018, Chapman University, Orange, California, USA

Fri 9:00-10:00 Michael Dunn, Indiana University Bloomington
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)

Peter Jipsen, Alexander Kurz, Andrew Moshier (Chapman University)

4th SYSMICS Workshop homepage