[UAI] [fm-announcements] CFP - VVPS 2011: Verification and Validation for Planning and Scheduling Systems

-- ** CALL FOR PAPERS ** 3rd ICAPS Workshop on Verification and Validation for Planning and Scheduling Systems (VVPS'11) http://icap

[UAI] [fm-announcements] RV 2011 Call for Papers and Tutorials

CALL FOR PAPERS AND TUTORIALS International Conference on Runtime Verification (RV 2011) September 27 - 30, 2011 Berkeley, California, USA http://sites.google.com/site/2011rv/ Runtime verification (RV) is concerned with