Dynamic Logic. New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers - Couverture souple

 
9783030658397: Dynamic Logic. New Trends and Applications: Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9–10, 2020, Revised Selected Papers
Couverture souple
ISBN 10 : 3030658392 ISBN 13 : 9783030658397
Editeur : Springer, 2020

Synopsis

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.


Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2020
Langue
anglais
ISBN 10 
3030658392
ISBN 13 
9783030658397
Reliure
Broché
Numéro d'édition
1
Nombre de pages
308
Éditeur
Martins Manuel A., Sedlár Igor
Coordonnées du fabricant
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne