From October 24 until October 28, 2022 the 11th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation took place in Rhodes. Already for the second time, the Special Track "Automated Software Reengineering" that was initiated by Software-Factory 4.0 took place in the context of the symposium.
The results from the two areas High-Performance Computing and Industry 4.0 are presented in the following videos:
The annual meeting of the LOEWE-research-cluster Software-Factory 4.0 took place online from 25.11.2021 to 26.11.2021. After the annual meeting, the second staff meeting in 2021 took place online from 29.11.2021 to 30.11.2021.
The first Staff Meeting in 2021 of the LOEWE-research-cluster Software-Factory 4.0 took place from 17.3.2021 to 19.3.2021 online.
The annual meeting of the LOEWE-research-cluster Software-Factory 4.0 took place online from 15.10.2020 to 16.10.2020. After the annual meeting, the second staff meeting in 2020 took place online from 19.10.2020 to 20.10.2020.
From October 25 until October 29, 2021 the 10th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation took place in Rhodes. In the context of the symposium, the Special Track "Automating Software Re-Engineering" that was initiated by Software-Factory 4.0 took place for the first time.
The proceedings of the Special Track "Automating Software Reengineering" at the 9th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation were published in Springer's LNCS series. This special track was initiated by Software-Factory 4.0. The in-person presentations of the special track have been postponed to 2021 due to the pandemic.
The first Staff Meeting in 2020 of the LOEWE-research-cluster Software-Factory 4.0 took place from 27.4.2020 to 29.4.2020. It was the first project-wide meeting that took place completely online.
The annual meeting of the LOEWE-research-cluster Software-Factory 4.0 took place in Frankfurt from 2.9.2019 to 3.9.2019. In addition to the members of the LOEWE-research-cluster, guests from universities, companies, and the LOEWE-administration attended the meeting.
From 7.6. to 8.6. the LOEWE research cluster Software-Factory 4.0 presented itself at the Hessentag 2019 in Bad Hersfeld. Software-Factory 4.0 researchers presented the project and its results to a wide audience at the booth of ProLOEWE and the initiative “Hessen schafft Wissen”.
