LANMR 2026Posted in Theoretical Computer Science17th Latin American Workshop on New Methods of Reasoning Event Date: Oct 06, 2026 - Oct 08, 2026 Posted inLocation: Mexico City Deadline: Jun 05, 2026
