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