Reports on the 2012 AIIDE Workshops