Skip to content
DaLí: Dynamic Logic – New trends and applications
Tbilisi, Georgia; September 15-16, 2023
Menu
Overview
Programme
Proceedings
Registration
Practical information
Committees
Contact
Accepted Papers
TBA