Reports of the 2012 AIIDE Workshops