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.
The workshop will start Friday
morning, September 14,
and ends Monday at noon, September 17.
590 N. Center St., Orange, California 92866
click here for a map of the campus.
Speakers
Charles University, Prague
Charles University, Prague
University of Salerno
Indiana University Bloomington
University of Denver
University of Denver
Utrecht University
New Mexico State University
University of California at Berkeley
Friedrich-Alexander Universität Erlangen-Nürnberg
New Mexico State University
University of Florence
Delft University of Technology
Stanford University
University of Salerno
University of Denver
Delft University of Technology
University of Denver
Chapman University
Chapman University
Chapman University
Chapman University
Friday 14 | Saturday 15 | Sunday 16 | Monday 17 | |
---|---|---|---|---|
09:00 - 9:30 | Michael Dunn | Daniele Mundici | Petr Cintula | Wesley Fussner |
09:30 - 10:00 | ||||
10:00 - 10:30 | Coffee Break | Coffee Break | Sara Ugolini | Apostolos Tzimoulis |
10:30 - 11:00 | Wesley Holliday | Antonio Di Nola | Coffee Break | Coffee Break |
11:00 - 11:30 | Alessandra Palmigiano | Giuseppe Greco | ||
11:30 - 12:00 | Luca Spada | John Harding | ||
12:00 - 12:30 | Tadeusz Litak | Gavin St. John | ||
12:30 - 1:00 | LUNCH | LUNCH | ||
1:00 - 1:30 | LUNCH | |||
1:30 - 2:00 | ||||
2:00 - 2:30 | Vaughan Pratt | Nick Galatos | ||
2:30 - 3:00 | Excursion followed by dinner | |||
3:00 - 3:30 | Discussion Chair: Moshier | Discussion Chair: Jipsen | ||
3:30 - 4:00 | ||||
4:00 - 4:30 | Coffee Break | Coffee Break | ||
4:30 - 5:00 | Pat Morandi | Marta Bílková | ||
5:00 - 5:30 | ||||
5:45 - 8:15 | Reception | Social dinner |