[Hol-info] Formal Methods 2019 - Doctoral Symposium (2nd Call for Papers)

2019-05-21 Thread nevrenato
2nd Call for Papers Formal Methods 2019 - Doctoral Symposium Porto, Portugal, October 7th, 2019 http://formalmethods2019.inesctec.pt/?page_id=361 In conjunction with the 23rd International Symposium on Formal Methods and 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019

[Hol-info] Formal Methods 2019 - Doctoral Symposium

2019-03-18 Thread Renato Neves
Formal Methods 2019 - Doctoral Symposium Porto, Portugal, October 7th, 2019 http://formalmethods2019.inesctec.pt/?page_id=361 In conjunction with the 23rd International Symposium on Formal Methods and 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019