Share
Dynamic Logic. New Trends and Applications: Third International Workshop, Dalí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Pape
Martins, Manuel A. ; Sedlár, Igor (Author)
·
Springer
· Paperback
Dynamic Logic. New Trends and Applications: Third International Workshop, Dalí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Pape - Martins, Manuel A. ; Sedlár, Igor
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My Wishlists
Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between
Wednesday, July 17 and
Wednesday, July 24.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "Dynamic Logic. New Trends and Applications: Third International Workshop, Dalí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Pape"
This book constitutes the proceedings of the Third International Workshop on Dynamic Logic, DaLí 2019, held in Prague, Czech Republic in October 2020. Due to COVID-19 the workshop has been held online. The 17 full papers presented together with 6 short papers were carefully reviewed and selected from 31 submissions. The theoretical relevance and practical potential of dynamic logic is a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The DaLí 2020 workshop is exclusively dedicated to Dynamic logic and aims at filling this gap and creating a heterogeneous community of colleagues, from Academia to Industry, from Mathematics to Computer Science.