[UAI] Funded PhD Positions in Runtime Verification and Model Checking at Iowa State University

--- Funded PhD Assistantships - Laboratory for Temporal Logic in Aerospace Iowa State University of Science and Technology, Ames, Iowa, USA http://laboratory.temporallogic.org/home-page/phd_2017/ --

[UAI] [ISAPEP'17] CFP for the 1st International Workshop in on Intelligent Systems for Agriculture Production and Environment Protection

*** Apologies if you receive multiple copies of this CFP announcement *** (Please kindly help to forward to those who might be interested) First Call for Papers to the 1st International Workshop on Intelligent Systems for Agriculture Production and Environment Protection (ISAP