[logic-ml] Call for Contributions - 1st Meeting Brazil-Colombia in Logic - December 14-17, 2021