Title of the course: “An invitation to natural dualities in general and Priestley duality in particular”
Course description: “I will assume that participants have a basic knowledge of universal algebra and lattice theory. The course will commence with a discussion of Birkhoff’s Representation for Finite Distributive Lattices (as the lattice of down-sets of a finite ordered set) and work from there to Priestley duality for bounded distributive lattices. Priestley duality will be the stepping off point for an introduction to the theory of Natural Dualities. Applications to Heyting algebras and Ockham algebras will be used to illustrate the theory.
Lecture 2 video
Lecture 3 video
Here are a few more details on the conference and school dates and programme.
The school will start on Monday 15 of June in the afternoon and will end on Friday 19 of June at lunch time.
The conference will start on Sunday 21 of June in the afternoon and will end on Friday 26 of June in the evening. The conference registration will take place in the morning of the 21 of June.
The conference poster is available by clicking on the image below. Please print and/or distribute it.
|Small version (A4, 1.5Mb)
||Big version (A2, 16Mb)
The deadline for submissions has been extended by two weeks. The new deadline is now 15 March 2015.
TACL school and conference are now ASL-sponsored events. Check the page on student travel awards to see how to apply for travel support.
The TACL school will be held in the Campus of the University of Salerno (Fisciano, Italy) form the 15 to the 19 of June 2015. The lecturers that have kindly accepted to give a course at the school are:
Guram Bezhanishvili (New Mexico State University)
Brian Davey (La Trobe University)
Ieke Moerdijk (Nijmegen University)
Luke Ong (Oxford University)
The organisation of TACL 2015 is proceeding quickly. Please use the expression of interest form to stay updated and help the organisers.
Further news will soon appear on these webpages.
This is TACL website, here you can find information about past and future conferences on Topology, Algebra, and Categories in Logic.