Workshop : Duality and More

May 16-20, 2022



Program and Abstracts



Monday May 16


9:30 - 10:30 -- Rafal Stefanski : Single-use Automata for Infinite Alphabets
11:00 - 12:00 -- Luigi Santocanale : Unitless Frobenius quantales
lunch break
14:00 - 15:00 -- Sam van Gool : Preserving joins at primes: duality for automata and domains
15:30 - 16:30 -- Silvio Ghilardi : Uniform Interpolation in First-Order Theories

Tuesday May 17


9:30 - 10:30 -- Samson Abramsky : From Kochen-Specker to Feder-Vardi
11:00 - 12:00 -- Maria Manuel Clementino : How algebraic are ordered (abelian) groups?
lunch break
14:00 - 15:00 -- Wesley Fussner : Metalogical Properties via Finitely Subdirectly Irreducible Algebras
15:30 - 16:30 -- Graham Manuell : Characterising congruence frames

Wednesday May 18


9:30 - 10:30 -- Jean-Eric Pin : Pervin spaces
11:00 - 12:00 -- Jorge Picado : Continuity in pointfree topology and beyond
lunch break
14:00 - 15:00 -- Celia Borlido : Difference-restriction algebras of partial functions with operators: discrete duality
15:30 - 16:30 -- Brett McLean : Difference-restriction algebras of partial functions with operators: discrete duality - part II

20:00 --- Workshop Dinner : Le Galet

(the menu will have vegetarian, meat and fish options)

Thursday May 19


9:30 - 10:30 -- Fred Wehrung : Projective classes as images of accessible functors
11:00 - 12:00 -- Tomas Jakl : Kleisli and Eilenberg-Moore Laws in the Setting of Game Comonads
lunch break
14:00 - 15:00 -- Thomas Colcombet
15:30 - 16:30 -- Vincent Moreau : Higher-order automata and profiniteness

Friday May 20


9:30 - 10:30 -- Luca Reggio : Arboreal categories and homomorphism preservation theorems
11:00 - 12:00 -- Anna Laura Suarez : Canonical extensions and sublocales of the frame of filters
lunch break
14:00 - 15:00 -- Paul-André Melliès : A functorial excursion between algebraic geometry and linear logic
15:30 - 16:30 -- Jérémie Marquès : Interpolation and duality in model theory



DuaLL project:
Duality in Formal Languages and Logic - a unifying approach to complexity and semantics



Equipe ATG  
Laboratoire J.-A. Dieudonné
Université Côte d'Azur,
Parc Valrose,
06108 Nice Cedex 02.