LANMR 2023Posted in Formal Methods15th Latin American Workshop on New Methods of Reasoning : Logic, Languages, Algorithms, New Methods of Reasoning Event Date: Nov 16, 2023 - Nov 17, 2023 Posted inLocation: Mexico City Deadline: Sep 08, 2023
