Foundational Methods in Computer Science

Foundational Methods in Computer Science is an annual workshop that brings together researchers in theoretical computer science and mathematics. Past workshops have been held at BIRS, Colgate University, Dalhousie University, Mount Allison University, University of Ottawa, UBC, University of Washington (Spokane), Reed College, and elsewhere. The meeting planned in Kananaskis in 2022 will be the 29th meeting, and the 8th meeting hosted by the Barrier Lake Station (also known as the Biogeoscience Institute) at the University of Calgary.