FMCS 2026: June 15--19, 2026

FMCS 2026: June 15--19, 2026

[Darien DeWolf]

[-- Attachment #1: Type: text/plain, Size: 2744 bytes --]

This is a preliminary announcement of the 33rd Foundational Methods in Computer Science (FMCS) workshop.

Foundational Methods in Computer Science 2026 (FMCS 2026) will be held at St. Francis Xavier University from June 15th to June 19th, 2026. Please save the date and spread the word.

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, University of British Columbia, University of Washington (Spokane), Reed College, and elsewhere. The workshop is informal and interdisciplinary.

The relationship between computer science and mathematics stems directly from the work of Haskell Curry in the 1930s and W. A. Howard and Per Martin-Löf in the 1960s. In particular, the Curry-Howard correspondence establishes a direct relationship between computer programs and mathematical proofs. Mathematically, this relationship is best expressed using category theory, and can be done more succinctly as a direct correspondence between categories and programming languages. Category theorists, logicians and computer scientists have discussed their work and its implications to one another at FMCS workshops for more than 30 years.

The conference is especially student-oriented and we will be offering multiple tutorials. There will also be many opportunities for students and postdocs to present their research.

We have some funding for support of students to attend the conference. This conference is funded by the Natural Sciences and Engineering Research Council of Canada (NSERC), the Atlantic Association for Research in the Mathematical Sciences (AARMS), and St. Francis Xavier University.

We will be announcing more details very shortly, including a website, how to apply for financial support, and information about campus accommodations and travel.

Sincerely,

Darien DeWolf, PhD
Associate Professor
Mathematics and Statistics
St. Francis Xavier University


You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message.

View group files<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


[-- Attachment #2: Type: text/html, Size: 4964 bytes --]