[Hol-info] iFM 2023 - Call for Papers

2023-03-07 Thread Laarman, A.W. (Alfons) via hol-info
--- iFM 2023 - Call for Papers 18th International Conference on integrated Formal Methods 13-15 November 2023, Leiden, the Netherlands https://ifm23.liacs.nl

[Hol-info] iFM 2023 - Call for Papers

2023-03-07 Thread Laarman, A.W. (Alfons) via hol-info
--- iFM 2023 - Call for Papers 18th International Conference on integrated Formal Methods 13-15 November 2023, Leiden, the Netherlands https://ifm23.liacs.nl