FMCS 2025

FMCS 2025

[Richard Blute]

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


This is a second announcement of the 32nd Foundational Methods in Computer Science meeting and call for graduate student participation.


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, Kristine Bauer, JS Lemay, Simon Henry, Rory Lucyshyn-Wright, Priyaa Srinivasan and Richard Blute. There will also be many opportunities for students and postdocs to present their research. We'll also have invited talks from Susan Niefield, Brenda Johnson and Cesar Bardomiano, with more talks to follow. We will have lots of time for contributed talks as well.

We have received funding from Centre de recherches mathématiques, The Fields Institute and the National Science Foundation for the support of graduate students to attend FMCS. If you are a graduate student wishing to attend and in need of support, please send an email to rblute@uottawa.ca with a request for funding, a description of your research and a CV. We'll need to receive your request by March 1st.

Information on housing will be available shortly.

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: 6616 bytes --]

FMCS 2025

[Richard Blute]

[-- 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 --]