LANMR 2026Posted in Theoretical Computer Science17th Latin American Workshop on New Methods of Reasoning October 6, 2026 - October 8, 2026Posted inMexico CityJune 5, 2026