[logic-ml] APLAS 2012: Final Call for Posters and Demos