Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12005)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: DALI 2019.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (14 papers)
-
Regular Papers
-
Short Papers
Other volumes
-
Dynamic Logic. New Trends and Applications
Keywords
About this book
This book constitutes the proceedings of the Second International Workshop on Dynamic Logic, DALI 2019, held in Porto, Portugal in October 2019.
The workshop was held in Porto, Portugal, on October 9, 2019, as part of the Formal Methods Week which hosted the 3rd World Congress on Formal Methods. The 12 full papers presented together with 2 short papers were carefully reviewed and selected from 26 submissions. The workshop is based on the project DaLí – Dynamic logics for cyber-physical systems: towards contract based design.
Editors and Affiliations
Bibliographic Information
Book Title: Dynamic Logic. New Trends and Applications
Book Subtitle: Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Editors: Luís Soares Barbosa, Alexandru Baltag
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-38808-9
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2020
Softcover ISBN: 978-3-030-38807-2Published: 14 January 2020
eBook ISBN: 978-3-030-38808-9Published: 13 January 2020
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 227
Number of Illustrations: 455 b/w illustrations, 4 illustrations in colour
Topics: Logics and Meanings of Programs, Special Purpose and Application-Based Systems, Computer System Implementation, Logic in AI, Software Engineering, Programming Languages, Compilers, Interpreters