29th Foundational Methods in Computer Science

  • Start Date: 06/21/2022
  • End Date: 06/26/2022

Calgary, Alberta


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.


Local organizers:

Kristine Bauer (bauerk at ucalgary dot ca)

Robin Cockett (robin at ucalgary dot ca)

Sacha Ikonicoff (sacha dot ikonicoff at ucalgary dot ca)

Other Information: 

Location: Barrier Lake Field Station, Kananaskis, AB


Registration: Registration details are available on the event main page here.