1

2 “... Analysis, SAS 2019, held in Porto, Portugal, in October 2019. The 20 regular papers presented in this book...”

3

4 “... and Assessment, IMBSA 2020, held in Lisbon, Portugal, in September 2020. The conference was held virtually due...”

5 “..., Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019...”

6

7 “... Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal...”

8 “... 2019, held in Porto, Portugal in October 2019. The workshop was held in Porto, Portugal, on October 9...”

9 “... Complexity of Formal Systems 2012, held in Braga, Portugal, in July 2012. The 20 revised full papers...”

10 “... on the relationship between deontic logic and multi-agent systems. The workshop was held in Madeira, Portugal, on 26...”

11 “... Research and Enterprise Systems, ICORES 2017, held in Porto, Portugal, in February 2017. The 15 papers...”

12 “... Theories of Programming, held in Porto, Portugal, on the 8th of October 2019. This edition of the UTP...”

13 “... Research and Enterprise Systems, ICORES 2015, held in Lisbon, Portugal, in January 2015. The 14 papers...”

14 “... Research and Enterprise Systems, ICORES 2018, held in Funchal, Madeira, Portugal, in January 2018. The 12...”

15 Table of Contents: “...Implementation of a 3-dimentional hydrodynamic model to a fish aquaculture area in Sines, Portugal...”

16 “... of the 19th International Conference on Computational Science, ICCS 2019, held in Faro, Portugal, in June...”

17 “... in Olhâo, Portugal, during June 4–7, 2024. The 99 full papers presented in these proceedings were carefully...”