[logic-ml] SSLST 2011: 1st announcement