LANMR 2026Posted in Theoretical Computer Science17th Latin American Workshop on New Methods of Reasoning October 6, 2026 - October 8, 2026Posted inMexico CityJune 5, 2026
AFL 2026Posted in Theoretical Computer Science17th International Conference on Automata and Formal Languages September 7, 2026 - September 10, 2026Posted inKošice, SlovakiaMay 20, 2026