StFX computer science professor organizes two international conferences in automata theory

StFX computer science professor Dr. Taylor Smith recently organized two international conferences in automata theory, the 30th International Conference on Implementation and Application of Automata (CIAA 2026) and the 27th International Conference on Descriptional Complexity of Formal Systems (DCFS 2026), both held at Queen's University in Kingston, ON.

This is the first time since 2018 these conferences were organized by a Canadian professor at a Canadian institution.

Two years of work led to these conferences, held from August 5-11, and seeing attendees arrive from over a dozen countries to listen to 27 contributed talks and six invited talks by speakers hailing from Canada, the U.S., and the Czech Republic was rewarding, Dr. Smith says.