Programme

The list of contributed talks is here. The booklet of abstracts is available as a PDF here. You will receive a paper copy at the registration.

All the invited talks will be in Grand Château de Valrose. For the other talks see Detailed programme.


 Monday Tuesday Wednesday Thursday Friday
08:00 Registration
08:15
08:30 Registration Contributed
Talks
(4 x 3)
08:45 Opening Session
09:00 Sam van Gool
Equations and logic on words 		Samson Abramsky
Simulations of quantum resources and the degrees of contextuality 		Johan van Benthem
Modal Dependence Logic 		Agi Kurucz
Non-finitely axiomatisable canonical varieties of BAOs with infinite canonical axiomatisations
09:15
09:30
09:45
10:00
10:15 Coffee Coffee Coffee Coffee
10:30 Coffee
10:45 Tommaso Moraschini
The poset of all logics 		Daniela Petrişan
Some Applications of Stone Duality to Automata Theory 		Wesley Holliday
Possibility Semantics 		Hilary Priestley
Snapshots of duality theory, from 2019 and fifty years earlier
11:00
11:15 Contributed
Talks
(4 x 3)
11:30
11:45
12:00 Welcome
Lunch 		Lunch
Break 		Lunch
Break 		Lunch
Break
12:15
12:30
12:45
13:00
13:15 Lunch
Break
13:30
13:45
14:00 Contributed
Talks
(4 x 3) 		Contributed
Talks
(4 x 3) 		Contributed
Talks
(4 x 3) 		Contributed
Talks
(4 x 3)
14:15
14:30
14:45
15:00
15:15 Conference
excursions
15:30
15:45
16:00 Coffee Coffee Coffee
16:15 Marcel Erné
Generalized continuous spaces: a topological approach to domain theory
16:30
16:45 Contributed
Talks
(3 x 3) 		Boris Zilber
Anabelian geometry in model theory setting 		Contributed
Talks
(3 x 3)
17:00
17:15
17:30 Farewell coffee
17:45
18:00
18:15
18:30
18:45
19:00
19:15
19:30 Conference
dinner
19:45
20:00