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
AFL 2026Posted in Theoretical Computer Science17th International Conference on Automata and Formal Languages Event Date: Sep 07, 2026 - Sep 10, 2026 Posted inLocation: Košice, Slovakia Deadline: May 20, 2026
