Duality in algebra and logic


A SYSMICS workshop on connections between algebra and logic via categorical dualities. This workshop aims to bring together researchers that work in logic and/or algebra and are interested in systematic ways of transporting results between these areas. In addition to established connections such as Stone, Priestley, and Esakia dualities, the workshop aims to foster research in natural categorical dualities between classes of partial algebras, dualities for lattice-ordered structures, dualities from clone theory, and dualities based on coalgebras, as well as other bridges between algebra and logic.

Find Out More

Dates

September 14 - 17, 2018


The workshop will start Friday morning, September 14,
and ends Monday at noon, September 17.

Venue

Sandhu Conference Center, Chapman University


590 N. Center St., Orange, California 92866
click here for a map of the campus.


Click on the map for a close-up view

 

Speakers

Speakers


Marta Bílková

Charles University, Prague

Petr Cintula

Charles University, Prague

Antonio Di Nola

University of Salerno

Michael Dunn

Indiana University Bloomington

Wesley Fussner

University of Denver

Nick Galatos

University of Denver

Giuseppe Greco

Utrecht University

John Harding

New Mexico State University

Wesley Holliday

University of California at Berkeley

Tadeusz Litak

Friedrich-Alexander Universität Erlangen-Nürnberg

Pat Morandi

New Mexico State University

Daniele Mundici

University of Florence

Alessandra Palmigiano

Delft University of Technology

Vaughan Pratt

Stanford University

Luca Spada

University of Salerno

Gavin St. John

University of Denver

Apostolos Tzimoulis

Delft University of Technology

Sara Ugolini

University of Denver

Organizing Committee


Peter Jipsen

Chapman University

Alexander Kurz

Chapman University

M. Andrew Moshier

Chapman University

Administrative assistant
Dana Dacier

Chapman University

Program

    Friday 14     Saturday 15     Sunday 16     Monday 17
09:00 - 9:30 Michael DunnDaniele MundiciPetr CintulaWesley Fussner
09:30 - 10:00
10:00 - 10:30 Coffee BreakCoffee BreakSara UgoliniApostolos Tzimoulis
10:30 - 11:00 Wesley HollidayAntonio Di NolaCoffee BreakCoffee Break
11:00 - 11:30Alessandra PalmigianoGiuseppe Greco
11:30 - 12:00 Luca SpadaJohn Harding
12:00 - 12:30Tadeusz LitakGavin St. John
12:30 - 1:00 LUNCHLUNCH
1:00 - 1:30 LUNCH
1:30 - 2:00
2:00 - 2:30 Vaughan PrattNick Galatos
2:30 - 3:00Excursion

followed by

dinner
3:00 - 3:30 Discussion
Chair: Moshier
Discussion
Chair: Jipsen
3:30 - 4:00
4:00 - 4:30Coffee BreakCoffee Break
4:30 - 5:00Pat MorandiMarta Bílková
5:00 - 5:30
5:45 - 8:15ReceptionSocial dinner

Registration

Closed

If you need more information


This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 689176.