[logic-ml] Second International Conference on Order, Algebra and Logics (2nd announcement)