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