|
|
Vol-2785
urn:nbn:de:0074-2785-1
Copyright © 2020 for the individual papers by the papers'
authors. Copyright © 2020 for
the volume as a collection by its editors. This volume and its papers
are published under the Creative Commons License Attribution 4.0
International
(CC BY 4.0).
|
OVERLAY 2020
Artificial Intelligence and
Formal Verification, Logic, Automata, and Synthesis 2020
Proceedings of the
2nd Workshop on
Artificial Intelligence and
Formal Verification, Logic, Automata, and Synthesis
hosted by the Bolzano Summer of Knowledge 2020
(BOSK 2020)
September 25, 2020.
Edited by
*
National Research Council,
Institute of Cognitive Sciences and Technologies, Rome, Italy
**
University of Verona,
Department of Computer Science, Verona, Italy
***
Fondazione Bruno Kessler,
Digital Industry Center, Embedded Systems Unit, Trento, Italy
Table of Contents
-
Cover Page and Table of Contents
-
Preface
Summary: There were 16 papers
submitted for peer-review to this workshop. Out of these,
16 papers were accepted for
this volume, 0 as
regular papers and 16 as
short papers.
Invited Talk
Short Papers Technical Track
2020-12-15: submitted by Andrea Micheli,
metadata incl. bibliographic data published under Creative Commons CC0
2020-12-21: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073)
|valid HTML5|