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