[logic-ml] PSSJ Symposium