[logic-ml] FSFLA 2011: 1st announcement