[Apologies for cross-posting - Please forward to anybody who might be
interested]
The 35th International Conference on Logic Programming (ICLP 2019)
Special Session: Women in Logic Programming
===
This special session aims to increase the visibility and
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