Special Track "Automated Software Reengineering" at ISoLA 2022

  • Posted on: December 9, 2022 - 14:36

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.

Annual Meeting 2021

  • Posted on: August 2, 2022 - 17:31

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.

Annual Meeting 2020

  • Posted on: August 2, 2022 - 17:07

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.

Special Track "Automating Software Re-Engineering" at ISoLA 2021

  • Posted on: November 9, 2021 - 14:44

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.

Proceedings of the Special Track "Automating Software Reengineering"

  • Posted on: December 9, 2020 - 14:56

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.

Annual Meeting 2019

  • Posted on: September 10, 2019 - 10:23

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.

Pages