==
FM 2019 - 23rd International Symposium on Formal Methods - 3rd World Congress
on Formal Methods
Porto, Portugal, October 7-11, 2019
http://formalmethods2019.inesctec.pt/
=
***
The 2nd International Conference on Emerging Data and Industry 4.0 (EDI40)
Leuven, Belgium
April 29 - May 2, 2019
***
Conference Website: http:/
Call for Papers
The 10th International Conference on Ambient Systems, Networks and Technologies
(ANT)
Leuven, Belgium
April 29 - May 2, 2019
Conference Website: http://cs-conferences.acadiau.ca/ant-19/
Workshops: http://cs-conferences.acadiau.ca/ant-19/#workshop
Tutorials: http://cs-con