Peer review declaration

All conference organisers/editors are required to declare details about their peer review. Therefore, please provide the following information: • Type of peer review: Single-blind peer review by two program committee members with the mandatory spell and style check • Conference submission management system: : submissions were received and handled via e-mail W [email protected]. • Number of submissions received: 53 • Number of submissions sent for review: 42 • Number of submissions accepted: 25 (2 retracted by the authors) • Acceptance Rate (Number of Submissions Accepted/Number of Submissions Received X 100): 50% • Average number of reviews per paper: 2 • Total number of reviewers involved: 13 • Any additional info on review process: All the submissions were reviewed in two round. • Prior to the conference, preliminary texts (in Russian or in English) and slides (in English) were reviewed by one of the co-chairs of the program committee, who is responsible for this particular session. • After the conference, authors of the reported studies were encouraged to submit full texts in English for publication in this volume. The independent referees (at least one per paper) reviewed all texts. The review process was supervised by the volume editor and by the review coordinator. The editor communicated to the authors all suggestions and comments from the referees. After the revision, the editor may submit the revised document to the reviewer to get the confirmation of successful revision. • Reviewers of the scientific journal on High-performance computing systems and technologies (http://journal.asu.ru/hpcst/about) contributed to the process. • Spell and style check was applied for all accepted papers. Specialists from the academic English language departments of Tomsk State University, Altai State University, and Tomsk Polytechnic University were invited. • Contact person for queries: Vladimir Faerman, Senior lecturer, Faculty of Security, Tomsk State University of Control Systems and Radioelectronics (Tomsk, Russia), [email protected]

Peer review declaration

All papers published in this volume of IOP Conference Series: Earth and Environmental Science have been peer reviewed through processes administered by the Editors. Reviews were conducted by expert referees to the professional and scientific standards expected of a proceedings journal published by IOP Publishing. • Type of peer review: Single-blind peer review by two committee members • Conference submission management system: Submissions were received and handled via e-mail [email protected]. The initial submission were handled by the secretary of the committee Ivan Krivolapov or his affiliates. Further correspondence with the authors and reviewers was handled via the same email under the supervision of the volume editor Galina Korotkova. • Number of submissions received: 237 • Number of submissions sent for review: 180 • Number of submissions accepted: 161 • Acceptance Rate (Number of Submissions Accepted / Number of Submissions Received X 100): 68% • Average number of reviews per paper: 2,5 • Total number of reviewers involved: 50 • Any additional info on review process: All the submissions were reviewed in two round. • Prior to the conference, preliminary texts (in Russian or in English) and slides (in English) were reviewed by one of programme committee members, who are responsible for this particular session. • After the conference, authors of the reported studies were encouraged to submit full texts in English for publication in this volume. The independent referees (at least one per paper) reviewed all texts. The review process was supervised by the volume editor. The editor communicated to the authors all suggestions and comments from the referees. After the revision, the editor may submit the revised document to the reviewer to get the confirmation of successful revision. • Reviewers of the scientific journal “Vestnik Michurinskogo Gossudarstvennogo Agrarnogo Universiteta” contributed to the process. • Spell and style check was applied for all accepted papers. The specialist from the language and publishing departments of Michurinsk State Agricultural University were involved in this process. • Contact person for queries: Galina Korotkova, Ph.D., Vice-rector for Research and Development of Michurinsk State Agrarian University, co-editor of Vestnik of MGAU (Michurinsk, Russia), [email protected]

Correction to: NASA Formal Methods

The original versions of this book and Chapter 14 were revised. The following was corrected:Dimitra Giannakopoulou, the General Chair of the NFM 2020 conference, was inadvertently forgotten and, therefore, added as a volume editor.Chapter 14 was retrospectively made available open access under a CC BY 4.0 license at link.springer.com.

Introduction

Volume editor Jorge Duany briefly reviews the intellectual history of Cuban thought on national identity since the late eighteenth century. Several generations of Cuban writers and artists on the island and abroad have drawn the contours of their “moveable nation,” according to different historical junctures, geographic locations, and ideological perspectives. Duany notes that the search for and affirmation of Cuba’s national identity strongly shaped the history of the visual arts, as well as literature, music, and other cultural expressions. The author then explains the origins of the current volume in an interdisciplinary 2017 conference on Cuban and Cuban-American art held at the Frost Art Museum of Florida International University in Miami. The second part of the introduction summarizes the contents of the volume, highlighting the significance of Cuban and Cuban-American art for the construction of national and diasporic identities.