FMCS 2025

[Richard Blute <rblute@uottawa.ca>]

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



This is a preliminary announcement of the 32nd Foundational Methods in Computer Science meeting.


Foundational Methods in Computer Science 2025 (FMCS 2025) will be held at the University Of Ottawa from June 17th to June 20th.


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 1930’s and W. A. Howard and Per Martin-Lof in the 1960’s. 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 meetings for more than 30 years.

The conference is especially student-oriented and we will be offering multiple tutorials. We already have confirmations of tutorials by Chris Kapulkin, JS Lemay, Simon Henry, Rory Lucyshyn-Wright and Richard Blute. There will also be many opportunities for students and postdocs to present their research.

We will have funding for support of students to attend the conference.

We will be announcing more details, including how to apply for financial support, in the new year.

Sincerely
Richard Blute
Cesar Bardomiano.


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/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=4eb9b40c-9b3a-48a5-9781-836e5a171e8b>   |   Learn more about Microsoft 365 Groups<https://aka.ms/o365g>


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