29th 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 workshopss 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 Univers ity of Calgary.

This year's scientific program, while continuing to welcome talks from all areas of category theory and theoretical computer science is happy to host tutorials (and talks) on categorical quantum mechanics, conformal field theory, linear logic, differential categories, differential programming, and homotopy theory.

This is an in-person meeting: paricipants are required to be fully vaccinated.