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