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 |