[Hol-info] Two PhD Positions in Privacy-Preserving Distributed AI, Syracuse University

Apologies for cross-posting - Please forward to anybody who might be interested ** PhD Positions in Privacy-Preserving Distributed Artificial Intelligence ** Two funded PhD positions are available in the area of Privacy-preserving Distributed Machine Learning. The PhD candidate will work under

[Hol-info] Call for Participation: Formal Aspects on Component Software (FACS 2019), Amsterdam

** **Call for Participation: FACS 2019 ** **16th International Conference on ** Formal Aspects of Component Software ** ** 23-25 October 2019, Amsterdam ** ** http://facs2019.org ** ## OVERVIEW Component-based software development proposes sound engineering principles and

[Hol-info] cfp ThEdu'19 post-proceedings

Open Call for Papers ** Postproceedings for ThEdu'19 by EPTCS Theorem Proving Components for Educational Software