[Haskell] Formal Methods 2019: First Call for Papers

2018-10-05 Thread Renato Neves
== FM 2019 - 23rd International Symposium on Formal Methods - 3rd World Congress on Formal Methods Porto, Portugal, October 7-11, 2019 http://formalmethods2019.inesctec.pt/ =

[Haskell] [EDI40 2019] International Conference on Emerging Data and Industry 4.0. Leuven, Belgium, April 29 - May 2, 2019

2018-10-05 Thread Wim Ectors
*** The 2nd International Conference on Emerging Data and Industry 4.0 (EDI40) Leuven, Belgium April 29 - May 2, 2019 *** Conference Website: http:/

[Haskell] [ANT2019] 10th International Conference on Ambient Systems, Networks and Technologies. Leuven, Belgium (April 29 - May 2, 2019)

2018-10-05 Thread Davidekova Monika
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