[Hol-info] Call for Papers - SPIN 2021

2020-11-15 Thread Laarman, A.W.
*** Call for Papers SPIN 2021 International Symposium on Model Checking of Software

[Hol-info] SPIN 2021 - Deadline extension to April 20

2021-03-07 Thread Laarman, A.W.
*** Call for Papers (deadline extension) SPIN 2021 International Symposium on Model Checking of Software

[Hol-info] SPIN 2021 - Final Call for Papers

2021-04-19 Thread Laarman, A.W.
*** Call for Papers (deadline extension) SPIN 2021 International Symposium on Model Checking of Software

[Hol-info] SPIN 2021 - Final Call for Papers

2021-04-21 Thread Laarman, A.W.
*** Call for Papers (deadline extension) SPIN 2021 International Symposium on Model Checking of Software

[Hol-info] Call for Participation - SPIN 2021

2021-06-29 Thread Laarman, A.W.
*** Call for Participation SPIN 2021 International Symposium on Model Checking of Software July 1

[Hol-info] Call for Participation - SPIN 2021

2021-06-29 Thread Laarman, A.W.
*** Call for Participation SPIN 2021 International Symposium on Model Checking of Software July 1

[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

[Hol-info] iFM 2023 - Second Call for Papers

2023-05-22 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