This is call for graduate student participation. Deadline for requesting financial support is March 1st. 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<mailto: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=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>