Editors:
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)
Conference series link(s): DaLí: International Workshop on Dynamic Logic
Conference proceedings info: DALI 2019.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (14 papers)
-
Front Matter
-
Regular Papers
-
Front Matter
-
-
Short Papers
-
Front Matter
-
-
Back Matter
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
-
University of Minho, Braga, Portugal
Luís Soares Barbosa
-
Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands
Alexandru Baltag
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